Token

Class Word

java.lang.Object

Token.Token

Token.Word

public class Word
extends Token

Constructor Summary

Constructors

Constructor and Description
Word(int position, java.lang.String name, Automaton W, int number_of_indices)

Method Summary

Methods

Modifier and Type	Method and Description
void	act(java.util.Stack<Expression> S)
java.lang.String	toString()

Methods inherited from class Token.Token

getArity, getPositionInPredicate, isOperator, put, setArity, setPositionInPredicate

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Word

public Word(int position,
    java.lang.String name,
    Automaton W,
    int number_of_indices)
     throws java.lang.Exception

Throws:

java.lang.Exception

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

act

public void act(java.util.Stack<Expression> S)
         throws java.lang.Exception

Specified by:

act in class Token

Throws:

java.lang.Exception