code.term
Class TermImplRef

java.lang.Object
  code.term.TermImplRef

All Implemented Interfaces:

TermImpl

public class TermImplRef
extends java.lang.Object
implements TermImpl

Field Summary

private Term

term

Constructor Summary

TermImplRef(Term term)
Constructor for the TermImplRef object

Method Summary

<R,T> R	accept(code.term.visitor.TermVisitor<R,T> v, T o) This method accepts the visitor.
Term[]	getArgument() Returns the list of arguments for this term.
Term	getArgument(byte number) Gets the argument attribute of the TermImpl object
Instruction[]	getCode() Gets the code attribute of the TermImpl object
byte	getKind() Gets the kind attribute of the TermImpl object
TermImpl	getRepresentation()
int	getRoot() Returns the root id for this term.
java.lang.String	getRootSymbol() Returns the root symbol.
boolean	isHNF() Gets the hNF attribute of the TermImpl object
boolean	isNF() Gets the nF attribute of the TermImpl object
void	update(Term t)

Methods inherited from class java.lang.Object

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

Field Detail

term

private Term term

Constructor Detail

TermImplRef

public TermImplRef(Term term)

Constructor for the TermImplRef object

Parameters:

term - Term to which the reference refers

Method Detail

getRepresentation

public TermImpl getRepresentation()

update

public void update(Term t)

getRoot

public int getRoot()

Returns the root id for this term.

Specified by:

getRoot in interface TermImpl

Returns:

The root value

getRootSymbol

public java.lang.String getRootSymbol()

Returns the root symbol.

Specified by:

getRootSymbol in interface TermImpl

Returns:

The rootSymbol value

getArgument

public Term[] getArgument()

Returns the list of arguments for this term.

Specified by:

getArgument in interface TermImpl

Returns:

The argument value

getArgument

public Term getArgument(byte number)

Gets the argument attribute of the TermImpl object

Specified by:

getArgument in interface TermImpl

Parameters:

number - Description of the Parameter

Returns:

The argument value

getKind

public byte getKind()
             throws UndefinedSymbol

Gets the kind attribute of the TermImpl object

Specified by:

getKind in interface TermImpl

Returns:

The kind value

Throws:

UndefinedSymbol - Description of the Exception

isHNF

public boolean isHNF()

Gets the hNF attribute of the TermImpl object

Specified by:

isHNF in interface TermImpl

Returns:

The hNF value

isNF

public boolean isNF()

Gets the nF attribute of the TermImpl object

Specified by:

isNF in interface TermImpl

Returns:

The nF value

getCode

public Instruction[] getCode()
                      throws UndefinedSymbol

Gets the code attribute of the TermImpl object

Specified by:

getCode in interface TermImpl

Returns:

The code value

Throws:

UndefinedSymbol - Description of the Exception

accept

public <R,T> R accept(code.term.visitor.TermVisitor<R,T> v,
                      T o)

This method accepts the visitor.

Specified by:

accept in interface TermImpl

Parameters:

v -

o -

Returns:

Object