toolbus.process
Class IfThen

java.lang.Object
  toolbus.process.ProcessExpression
      toolbus.process.IfElse
          toolbus.process.IfThen

public class IfThen
extends IfElse

Field Summary

Fields inherited from class toolbus.process.ProcessExpression

posInfo, tbfactory

Constructor Summary

IfThen(aterm.ATerm test, ProcessExpression Pthen, TBTermFactory tbfactory, PositionInformation posInfo)

Method Summary

Methods inherited from class toolbus.process.IfElse

compile, computeFirst, copy, getAtoms, replaceFormals, toString

Methods inherited from class toolbus.process.ProcessExpression

addToFirst, addToFollow, getFirst, getFollow, getPosInfo, setFirst, setFollow

Methods inherited from class java.lang.Object

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

Constructor Detail

IfThen

public IfThen(aterm.ATerm test,
              ProcessExpression Pthen,
              TBTermFactory tbfactory,
              PositionInformation posInfo)