toolbus.atom.tool
Class RecVal

java.lang.Object
  toolbus.process.ProcessExpression
      toolbus.atom.Atom
          toolbus.atom.tool.RecVal

All Implemented Interfaces:

StateElement

public class RecVal
extends Atom

Author:

paulk, Aug 1, 2002

Field Summary

private Ref	result
private Ref	toolId
private ToolInstance	toolInstance

Fields inherited from class toolbus.atom.Atom

externalNameAsReceivedByTool

Fields inherited from class toolbus.process.ProcessExpression

posInfo, tbfactory

Constructor Summary

RecVal(aterm.ATerm toolId, aterm.ATerm result, TBTermFactory tbfactory, PositionInformation posInfo)

Method Summary

void	activate() Activate the StateElement, i.e.
ProcessExpression	copy()
boolean	execute() Execute this StateElement

Methods inherited from class toolbus.atom.Atom

compile, computeFirst, contains, copyAtomAttributes, debugExecute, destroy, getAtomArgValue, getAtoms, getDelay, getEnv, getProcess, getTests, getTimeout, getToolBus, gotoNextStateAndActivate, gotoNextStateAndActivate, isEnabled, replaceFormals, setAbsoluteDelay, setAbsoluteTimeout, setAtomArgs, setDelay, setEnv, setTest, setTimeout, toATerm, 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

Methods inherited from interface toolbus.StateElement

getFollow, getPosInfo

Field Detail

toolId

private final Ref toolId

result

private final Ref result

toolInstance

private ToolInstance toolInstance

Constructor Detail

RecVal

public RecVal(aterm.ATerm toolId,
              aterm.ATerm result,
              TBTermFactory tbfactory,
              PositionInformation posInfo)

Method Detail

copy

public ProcessExpression copy()

Specified by:

copy in class ProcessExpression

activate

public void activate()

Description copied from interface: StateElement

Activate the StateElement, i.e. make it ready for execution. This may involve initialization and the setting of timers.

Specified by:

activate in interface StateElement

Overrides:

activate in class Atom

execute

public boolean execute()
                throws ToolBusException

Description copied from interface: StateElement

Execute this StateElement

Returns:

true if execution was completed.

Throws:

ToolBusException