io.github.prolobjectlink.prolog.jpl

Class JplProvider

java.lang.Object

io.github.prolobjectlink.prolog.AbstractProvider

io.github.prolobjectlink.prolog.jpl.JplProvider

All Implemented Interfaces:

io.github.prolobjectlink.prolog.PrologProvider

public abstract class JplProvider
extends io.github.prolobjectlink.prolog.AbstractProvider
implements io.github.prolobjectlink.prolog.PrologProvider

Since:

1.0

Author:

Jose Zalacain

Field Summary

Fields inherited from class io.github.prolobjectlink.prolog.AbstractProvider

converter

Constructor Summary

Constructors

Constructor and Description
JplProvider(io.github.prolobjectlink.prolog.PrologConverter<jpl.Term> adapter)

Method Summary

Modifier and Type	Method and Description
io.github.prolobjectlink.prolog.PrologTerm	falseReference()
<K> K	fromTerm(io.github.prolobjectlink.prolog.PrologTerm arg0, Class<K> arg1)
<K> K	fromTerm(io.github.prolobjectlink.prolog.PrologTerm arg0, io.github.prolobjectlink.prolog.PrologTerm[] arg1, Class<K> arg2)
<K> K[]	fromTermArray(io.github.prolobjectlink.prolog.PrologTerm[] arg0, Class<K[]> arg1)
io.github.prolobjectlink.prolog.PrologLogger	getLogger()
io.github.prolobjectlink.prolog.PrologAtom	newAtom(String functor)
io.github.prolobjectlink.prolog.PrologDouble	newDouble(Number value)
io.github.prolobjectlink.prolog.PrologTerm	newEntry(Object key, Object value)
io.github.prolobjectlink.prolog.PrologTerm	newEntry(io.github.prolobjectlink.prolog.PrologTerm key, io.github.prolobjectlink.prolog.PrologTerm value)
io.github.prolobjectlink.prolog.PrologFloat	newFloat(Number value)
io.github.prolobjectlink.prolog.PrologInteger	newInteger(Number value)
io.github.prolobjectlink.prolog.PrologList	newList()
io.github.prolobjectlink.prolog.PrologList	newList(io.github.prolobjectlink.prolog.PrologTerm[] arguments)
io.github.prolobjectlink.prolog.PrologList	newList(io.github.prolobjectlink.prolog.PrologTerm[] arguments, io.github.prolobjectlink.prolog.PrologTerm tail)
io.github.prolobjectlink.prolog.PrologList	newList(io.github.prolobjectlink.prolog.PrologTerm head, io.github.prolobjectlink.prolog.PrologTerm tail)
io.github.prolobjectlink.prolog.PrologLong	newLong(Number value)
io.github.prolobjectlink.prolog.PrologTerm	newMap()
io.github.prolobjectlink.prolog.PrologTerm	newMap(int initialCapacity)
io.github.prolobjectlink.prolog.PrologTerm	newMap(Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm> map)
io.github.prolobjectlink.prolog.PrologTerm	newReference(Object reference)
io.github.prolobjectlink.prolog.PrologTerm	newStructure(io.github.prolobjectlink.prolog.PrologTerm left, String operator, io.github.prolobjectlink.prolog.PrologTerm right)
io.github.prolobjectlink.prolog.PrologStructure	newStructure(String functor, io.github.prolobjectlink.prolog.PrologTerm... arguments)
io.github.prolobjectlink.prolog.PrologVariable	newVariable(int position)
io.github.prolobjectlink.prolog.PrologVariable	newVariable(String name, int position)
io.github.prolobjectlink.prolog.PrologTerm	nullReference()
io.github.prolobjectlink.prolog.PrologClause	parseClause(String arg0)
io.github.prolobjectlink.prolog.PrologList	parseList(String arg0)
Set<io.github.prolobjectlink.prolog.PrologClause>	parseProgram(File arg0)
Set<io.github.prolobjectlink.prolog.PrologClause>	parseProgram(String arg0)
io.github.prolobjectlink.prolog.PrologStructure	parseStructure(String arg0)
io.github.prolobjectlink.prolog.PrologTerm	parseTerm(String term)
io.github.prolobjectlink.prolog.PrologTerm[]	parseTerms(String stringTerms)
io.github.prolobjectlink.prolog.PrologTerm	prologCut()
io.github.prolobjectlink.prolog.PrologTerm	prologEmpty()
io.github.prolobjectlink.prolog.PrologTerm	prologFail()
io.github.prolobjectlink.prolog.PrologTerm	prologFalse()
io.github.prolobjectlink.prolog.PrologTerm	prologInclude(String file)
io.github.prolobjectlink.prolog.PrologTerm	prologNil()
io.github.prolobjectlink.prolog.PrologTerm	prologTrue()
<K extends io.github.prolobjectlink.prolog.PrologTerm> K	toTerm(Object arg0, Class<K> arg1)
<K extends io.github.prolobjectlink.prolog.PrologTerm> K[]	toTermArray(Object[] arg0, Class<K[]> arg1)
<K extends io.github.prolobjectlink.prolog.PrologTerm,V> Map<String,io.github.prolobjectlink.prolog.PrologTerm>	toTermMap(Map<String,V> arg0, Class<K> arg1)
<K extends io.github.prolobjectlink.prolog.PrologTerm,V> Map<String,io.github.prolobjectlink.prolog.PrologTerm>[]	toTermMapArray(Map<String,V>[] arg0, Class<K> arg1)
<K extends io.github.prolobjectlink.prolog.PrologTerm> K[][]	toTermMatrix(Object[][] arg0, Class<K[][]> arg1)
io.github.prolobjectlink.prolog.PrologTerm	trueReference()
io.github.prolobjectlink.prolog.PrologTerm	voidReference()

Methods inherited from class io.github.prolobjectlink.prolog.AbstractProvider

cast, cast, equals, fromTerm, fromTerm, fromTermArray, getConverter, getName, getParser, getVersion, hashCode, isCompliant, newDouble, newFloat, newInteger, newList, newList, newList, newList, newList, newLong, newStructure, newStructure, parseClause, parseList, parseProgram, parseProgram, parseStructure, removeQuoted, toString, toTerm, toTermArray, toTermMap, toTermMapArray, toTermMatrix

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface io.github.prolobjectlink.prolog.PrologProvider

cast, getConverter, getJavaConverter, getName, getParser, getVersion, isCompliant, newDouble, newEngine, newEngine, newFloat, newInteger, newList, newList, newList, newList, newList, newLong, newStructure, newStructure

Constructor Detail

JplProvider

public JplProvider(io.github.prolobjectlink.prolog.PrologConverter<jpl.Term> adapter)

Method Detail

prologNil

public final io.github.prolobjectlink.prolog.PrologTerm prologNil()

Specified by:

prologNil in interface io.github.prolobjectlink.prolog.PrologProvider

prologCut

public final io.github.prolobjectlink.prolog.PrologTerm prologCut()

Specified by:

prologCut in interface io.github.prolobjectlink.prolog.PrologProvider

prologFail

public final io.github.prolobjectlink.prolog.PrologTerm prologFail()

Specified by:

prologFail in interface io.github.prolobjectlink.prolog.PrologProvider

prologTrue

public final io.github.prolobjectlink.prolog.PrologTerm prologTrue()

Specified by:

prologTrue in interface io.github.prolobjectlink.prolog.PrologProvider

prologFalse

public final io.github.prolobjectlink.prolog.PrologTerm prologFalse()

Specified by:

prologFalse in interface io.github.prolobjectlink.prolog.PrologProvider

prologEmpty

public final io.github.prolobjectlink.prolog.PrologTerm prologEmpty()

Specified by:

prologEmpty in interface io.github.prolobjectlink.prolog.PrologProvider

prologInclude

public final io.github.prolobjectlink.prolog.PrologTerm prologInclude(String file)

Specified by:

prologInclude in interface io.github.prolobjectlink.prolog.PrologProvider

parseTerm

public final io.github.prolobjectlink.prolog.PrologTerm parseTerm(String term)

parseTerms

public final io.github.prolobjectlink.prolog.PrologTerm[] parseTerms(String stringTerms)

newAtom

public final io.github.prolobjectlink.prolog.PrologAtom newAtom(String functor)

Specified by:

newAtom in interface io.github.prolobjectlink.prolog.PrologProvider

newFloat

public final io.github.prolobjectlink.prolog.PrologFloat newFloat(Number value)

Specified by:

newFloat in interface io.github.prolobjectlink.prolog.PrologProvider

newDouble

public final io.github.prolobjectlink.prolog.PrologDouble newDouble(Number value)

Specified by:

newDouble in interface io.github.prolobjectlink.prolog.PrologProvider

newInteger

public final io.github.prolobjectlink.prolog.PrologInteger newInteger(Number value)

Specified by:

newInteger in interface io.github.prolobjectlink.prolog.PrologProvider

newLong

public final io.github.prolobjectlink.prolog.PrologLong newLong(Number value)

Specified by:

newLong in interface io.github.prolobjectlink.prolog.PrologProvider

newVariable

public final io.github.prolobjectlink.prolog.PrologVariable newVariable(int position)

Specified by:

newVariable in interface io.github.prolobjectlink.prolog.PrologProvider

newVariable

public final io.github.prolobjectlink.prolog.PrologVariable newVariable(String name,
                                                                        int position)

Specified by:

newVariable in interface io.github.prolobjectlink.prolog.PrologProvider

newList

public final io.github.prolobjectlink.prolog.PrologList newList()

Specified by:

newList in interface io.github.prolobjectlink.prolog.PrologProvider

newList

public final io.github.prolobjectlink.prolog.PrologList newList(io.github.prolobjectlink.prolog.PrologTerm[] arguments)

Specified by:

newList in interface io.github.prolobjectlink.prolog.PrologProvider

newList

public final io.github.prolobjectlink.prolog.PrologList newList(io.github.prolobjectlink.prolog.PrologTerm head,
                                                                io.github.prolobjectlink.prolog.PrologTerm tail)

Specified by:

newList in interface io.github.prolobjectlink.prolog.PrologProvider

newList

public final io.github.prolobjectlink.prolog.PrologList newList(io.github.prolobjectlink.prolog.PrologTerm[] arguments,
                                                                io.github.prolobjectlink.prolog.PrologTerm tail)

Specified by:

newList in interface io.github.prolobjectlink.prolog.PrologProvider

newStructure

public final io.github.prolobjectlink.prolog.PrologStructure newStructure(String functor,
                                                                          io.github.prolobjectlink.prolog.PrologTerm... arguments)

Specified by:

newStructure in interface io.github.prolobjectlink.prolog.PrologProvider

newStructure

public final io.github.prolobjectlink.prolog.PrologTerm newStructure(io.github.prolobjectlink.prolog.PrologTerm left,
                                                                     String operator,
                                                                     io.github.prolobjectlink.prolog.PrologTerm right)

Specified by:

newStructure in interface io.github.prolobjectlink.prolog.PrologProvider

newEntry

public final io.github.prolobjectlink.prolog.PrologTerm newEntry(io.github.prolobjectlink.prolog.PrologTerm key,
                                                                 io.github.prolobjectlink.prolog.PrologTerm value)

Specified by:

newEntry in interface io.github.prolobjectlink.prolog.PrologProvider

newEntry

public final io.github.prolobjectlink.prolog.PrologTerm newEntry(Object key,
                                                                 Object value)

Specified by:

newEntry in interface io.github.prolobjectlink.prolog.PrologProvider

newMap

public final io.github.prolobjectlink.prolog.PrologTerm newMap(Map<io.github.prolobjectlink.prolog.PrologTerm,io.github.prolobjectlink.prolog.PrologTerm> map)

Specified by:

newMap in interface io.github.prolobjectlink.prolog.PrologProvider

newMap

public final io.github.prolobjectlink.prolog.PrologTerm newMap(int initialCapacity)

Specified by:

newMap in interface io.github.prolobjectlink.prolog.PrologProvider

newMap

public final io.github.prolobjectlink.prolog.PrologTerm newMap()

Specified by:

newMap in interface io.github.prolobjectlink.prolog.PrologProvider

newReference

public final io.github.prolobjectlink.prolog.PrologTerm newReference(Object reference)

Specified by:

newReference in interface io.github.prolobjectlink.prolog.PrologProvider

falseReference

public final io.github.prolobjectlink.prolog.PrologTerm falseReference()

Specified by:

falseReference in interface io.github.prolobjectlink.prolog.PrologProvider

trueReference

public final io.github.prolobjectlink.prolog.PrologTerm trueReference()

Specified by:

trueReference in interface io.github.prolobjectlink.prolog.PrologProvider

nullReference

public final io.github.prolobjectlink.prolog.PrologTerm nullReference()

Specified by:

nullReference in interface io.github.prolobjectlink.prolog.PrologProvider

voidReference

public final io.github.prolobjectlink.prolog.PrologTerm voidReference()

Specified by:

voidReference in interface io.github.prolobjectlink.prolog.PrologProvider

getLogger

public final io.github.prolobjectlink.prolog.PrologLogger getLogger()

Specified by:

getLogger in interface io.github.prolobjectlink.prolog.PrologProvider

parseList

public io.github.prolobjectlink.prolog.PrologList parseList(String arg0)

parseStructure

public io.github.prolobjectlink.prolog.PrologStructure parseStructure(String arg0)

parseClause

public io.github.prolobjectlink.prolog.PrologClause parseClause(String arg0)

parseProgram

public Set<io.github.prolobjectlink.prolog.PrologClause> parseProgram(String arg0)

parseProgram

public Set<io.github.prolobjectlink.prolog.PrologClause> parseProgram(File arg0)

toTermMapArray

public <K extends io.github.prolobjectlink.prolog.PrologTerm,V> Map<String,io.github.prolobjectlink.prolog.PrologTerm>[] toTermMapArray(Map<String,V>[] arg0,
                                                                                                                                        Class<K> arg1)

toTermMap

public <K extends io.github.prolobjectlink.prolog.PrologTerm,V> Map<String,io.github.prolobjectlink.prolog.PrologTerm> toTermMap(Map<String,V> arg0,
                                                                                                                                 Class<K> arg1)

toTermMatrix

public <K extends io.github.prolobjectlink.prolog.PrologTerm> K[][] toTermMatrix(Object[][] arg0,
                                                                                 Class<K[][]> arg1)

toTermArray

public <K extends io.github.prolobjectlink.prolog.PrologTerm> K[] toTermArray(Object[] arg0,
                                                                              Class<K[]> arg1)

toTerm

public <K extends io.github.prolobjectlink.prolog.PrologTerm> K toTerm(Object arg0,
                                                                       Class<K> arg1)

fromTerm

public <K> K fromTerm(io.github.prolobjectlink.prolog.PrologTerm arg0,
                      Class<K> arg1)

fromTermArray

public <K> K[] fromTermArray(io.github.prolobjectlink.prolog.PrologTerm[] arg0,
                             Class<K[]> arg1)

fromTerm

public <K> K fromTerm(io.github.prolobjectlink.prolog.PrologTerm arg0,
                      io.github.prolobjectlink.prolog.PrologTerm[] arg1,
                      Class<K> arg2)