lmf.formula.csp.node
Class ACspInterruptProcess

java.lang.Object
  extended by lmf.formula.csp.node.Node
      extended by lmf.formula.csp.node.PInterruptProcess
          extended by lmf.formula.csp.node.ACspInterruptProcess
All Implemented Interfaces:
java.lang.Cloneable, Switchable

public final class ACspInterruptProcess
extends PInterruptProcess


Constructor Summary
ACspInterruptProcess()
           
ACspInterruptProcess(PSequentialProcess _leftProcess_, TInterrupt _interrupt_, PInterruptProcess _rightProcess_)
           
 
Method Summary
 void apply(Switch sw)
           
 java.lang.Object clone()
           
 TInterrupt getInterrupt()
           
 PSequentialProcess getLeftProcess()
           
 PInterruptProcess getRightProcess()
           
 void setInterrupt(TInterrupt node)
           
 void setLeftProcess(PSequentialProcess node)
           
 void setRightProcess(PInterruptProcess node)
           
 java.lang.String toString()
           
 
Methods inherited from class lmf.formula.csp.node.Node
parent, replaceBy
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ACspInterruptProcess

public ACspInterruptProcess()

ACspInterruptProcess

public ACspInterruptProcess(PSequentialProcess _leftProcess_,
                            TInterrupt _interrupt_,
                            PInterruptProcess _rightProcess_)
Method Detail

clone

public java.lang.Object clone()
Specified by:
clone in class Node

apply

public void apply(Switch sw)

getLeftProcess

public PSequentialProcess getLeftProcess()

setLeftProcess

public void setLeftProcess(PSequentialProcess node)

getInterrupt

public TInterrupt getInterrupt()

setInterrupt

public void setInterrupt(TInterrupt node)

getRightProcess

public PInterruptProcess getRightProcess()

setRightProcess

public void setRightProcess(PInterruptProcess node)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object