jTrolog.terms

Class WrapStruct

java.lang.Object

jTrolog.terms.Term

jTrolog.terms.EvaluableTerm

jTrolog.terms.Struct

jTrolog.terms.WrapStruct

All Implemented Interfaces:

Serializable, Wrapper

public class WrapStruct
extends Struct
implements Wrapper

Author:

ivar.orstavik@hist.no

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface jTrolog.terms.Wrapper

Wrapper.WrappedIterator

Field Summary

Fields

Modifier and Type	Field and Description
int	context

Fields inherited from class jTrolog.terms.Struct

arity, name, operatorType, predicateIndicator

Fields inherited from class jTrolog.terms.Term

ATOM, emptyList, FALSE, iterator, NUMBER, pos, prePost, STRUCT, tree, TRUE, type, VAR

Constructor Summary

Constructors

Constructor and Description
WrapStruct(Struct struct, int renameVarID)

Method Summary

Modifier and Type	Method and Description
Term	getArg(int i) Gets the i-th element of this structure No bound check is done
Term	getBasis()
int	getContext()
int	getOperatorType()
Var[]	getVarList()
String	toString() Gets the string representation of this structure Specific representations are provided for lists and atoms.

Methods inherited from class jTrolog.terms.Struct

equals, iterator, toStringList, toStringSmall

Methods inherited from class java.lang.Object

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

Field Detail

context

public final int context

Constructor Detail

WrapStruct

public WrapStruct(Struct struct,
                  int renameVarID)

Method Detail

getOperatorType

public int getOperatorType()

Overrides:

getOperatorType in class Struct

getArg

public Term getArg(int i)

Description copied from class: Struct

Gets the i-th element of this structure No bound check is done

Overrides:

getArg in class Struct

getVarList

public Var[] getVarList()

Overrides:

getVarList in class Struct

getContext

public int getContext()

Specified by:

getContext in interface Wrapper

getBasis

public Term getBasis()

Specified by:

getBasis in interface Wrapper

toString

public String toString()

Description copied from class: Struct

Gets the string representation of this structure Specific representations are provided for lists and atoms. Names starting with upper case letter are enclosed in apices.

Overrides:

toString in class Struct