io.github.prolobjectlink.prolog

Class AbstractProgram

java.lang.Object

java.util.AbstractMap<String,PrologClauses>

io.github.prolobjectlink.prolog.AbstractProgram

All Implemented Interfaces:

PrologProgram, Iterable<PrologClauses>, Map<String,PrologClauses>

public abstract class AbstractProgram
extends AbstractMap<String,PrologClauses>
implements PrologProgram

Nested Class Summary

Nested classes/interfaces inherited from class java.util.AbstractMap

AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Field Summary

Fields

Modifier and Type	Field and Description
protected PrologEngine	engine

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractProgram(PrologEngine engine)

Method Summary

Modifier and Type	Method and Description
void	add(PrologClause clause)
void	add(PrologClauses clauses)
void	add(PrologProgram program)
void	addAll(PrologProgram program)
Set<Map.Entry<String,PrologClauses>>	entrySet()
boolean	equals(Object obj)
PrologClauses	get(String functor, int arity)
Map<String,PrologClauses>	getClauses()
Set<String>	getIndicators()
int	hashCode()
boolean	isDiscontiguous(String functor, int arity)
boolean	isDynamic(String functor, int arity)
boolean	isMultifile(String functor, int arity)
Iterator<PrologClauses>	iterator()
void	markDiscontiguous(String functor, int arity)
void	markDynamic(String functor, int arity)
void	markMultifile(String functor, int arity)
void	push(PrologClause clause)
boolean	removeAll(PrologClauses clauses)
boolean	removeAll(PrologProgram program)
void	removeAll(String key)
void	removeAll(String functor, int arity)
boolean	retainAll(PrologClauses parents)
Object[]	toArray()
Object[]	toArray(PrologClauses[] prologClauses)
String	toString()
void	unmarkDiscontiguous(String functor, int arity)
void	unmarkDynamic(String functor, int arity)
void	unmarkMultifile(String functor, int arity)

Methods inherited from class java.util.AbstractMap

clear, clone, containsKey, containsValue, get, isEmpty, keySet, put, putAll, remove, size, values

Methods inherited from class java.lang.Object

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

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

newClauses

Methods inherited from interface java.util.Map

clear, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, forEach, get, getOrDefault, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

engine

protected final PrologEngine engine

Constructor Detail

AbstractProgram

protected AbstractProgram(PrologEngine engine)

Method Detail

iterator

public Iterator<PrologClauses> iterator()

Specified by:

iterator in interface Iterable<PrologClauses>

get

public PrologClauses get(String functor,
                         int arity)

Specified by:

get in interface PrologProgram

add

public void add(PrologClause clause)

Specified by:

add in interface PrologProgram

add

public void add(PrologProgram program)

Specified by:

add in interface PrologProgram

push

public void push(PrologClause clause)

Specified by:

push in interface PrologProgram

removeAll

public void removeAll(String key)

removeAll

public void removeAll(String functor,
                      int arity)

Specified by:

removeAll in interface PrologProgram

markDynamic

public void markDynamic(String functor,
                        int arity)

Specified by:

markDynamic in interface PrologProgram

unmarkDynamic

public void unmarkDynamic(String functor,
                          int arity)

Specified by:

unmarkDynamic in interface PrologProgram

isDynamic

public boolean isDynamic(String functor,
                         int arity)

Specified by:

isDynamic in interface PrologProgram

markMultifile

public void markMultifile(String functor,
                          int arity)

Specified by:

markMultifile in interface PrologProgram

unmarkMultifile

public void unmarkMultifile(String functor,
                            int arity)

Specified by:

unmarkMultifile in interface PrologProgram

isMultifile

public boolean isMultifile(String functor,
                           int arity)

Specified by:

isMultifile in interface PrologProgram

markDiscontiguous

public void markDiscontiguous(String functor,
                              int arity)

Specified by:

markDiscontiguous in interface PrologProgram

unmarkDiscontiguous

public void unmarkDiscontiguous(String functor,
                                int arity)

Specified by:

unmarkDiscontiguous in interface PrologProgram

isDiscontiguous

public boolean isDiscontiguous(String functor,
                               int arity)

Specified by:

isDiscontiguous in interface PrologProgram

removeAll

public boolean removeAll(PrologProgram program)

Specified by:

removeAll in interface PrologProgram

removeAll

public boolean removeAll(PrologClauses clauses)

Specified by:

removeAll in interface PrologProgram

getClauses

public Map<String,PrologClauses> getClauses()

Specified by:

getClauses in interface PrologProgram

getIndicators

public Set<String> getIndicators()

Specified by:

getIndicators in interface PrologProgram

add

public void add(PrologClauses clauses)

Specified by:

add in interface PrologProgram

addAll

public void addAll(PrologProgram program)

Specified by:

addAll in interface PrologProgram

retainAll

public boolean retainAll(PrologClauses parents)

Specified by:

retainAll in interface PrologProgram

toArray

public Object[] toArray(PrologClauses[] prologClauses)

Specified by:

toArray in interface PrologProgram

toArray

public Object[] toArray()

Specified by:

toArray in interface PrologProgram

entrySet

public Set<Map.Entry<String,PrologClauses>> entrySet()

Specified by:

entrySet in interface Map<String,PrologClauses>

Specified by:

entrySet in class AbstractMap<String,PrologClauses>

hashCode

public int hashCode()

Specified by:

hashCode in interface Map<String,PrologClauses>

Overrides:

hashCode in class AbstractMap<String,PrologClauses>

equals

public boolean equals(Object obj)

Specified by:

equals in interface Map<String,PrologClauses>

Overrides:

equals in class AbstractMap<String,PrologClauses>

toString

public String toString()

Overrides:

toString in class AbstractMap<String,PrologClauses>