ponderToolkit.analyzer.priorities.node
Class TForall

java.lang.Object
  |
  +--ponderToolkit.analyzer.priorities.node.Node
        |
        +--ponderToolkit.analyzer.priorities.node.Token
              |
              +--ponderToolkit.analyzer.priorities.node.TForall

All Implemented Interfaces:

java.lang.Cloneable, Switchable

public final class TForall

extends Token

Constructor Summary

TForall()

TForall(int line, int pos)

Method Summary

void	apply(Switch sw)
java.lang.Object	clone()
void	setText(java.lang.String text)

Methods inherited from class ponderToolkit.analyzer.priorities.node.Token

getLine, getPos, getText, setLine, setPos, toString

Methods inherited from class ponderToolkit.analyzer.priorities.node.Node

cloneList, cloneNode, parent, replaceBy, toString, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

TForall

public TForall()

TForall

public TForall(int line,
               int pos)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class Node

apply

public void apply(Switch sw)

setText

public void setText(java.lang.String text)

Overrides:

setText in class Token