Package net.sourceforge.czt.circus.impl

Implementation classes of the AST for Circus.

See: Description

Class Summary

Class	Description
Action1Impl	An implementation of the interface Action1.
Action2Impl	An implementation of the interface Action2.
ActionDImpl	An implementation of the interface ActionD.
ActionIteImpl	An implementation of the interface ActionIte.
ActionListImpl	An implementation of the interface ActionList.
ActionParaImpl	An implementation of the interface ActionPara.
ActionSignatureAnnImpl	An implementation of the interface ActionSignatureAnn.
ActionSignatureImpl	An implementation of the interface ActionSignature.
ActionSignatureListImpl	An implementation of the interface ActionSignatureList.
ActionTransformerPredImpl	An implementation of the interface ActionTransformerPred.
ActionTypeImpl	An implementation of the interface ActionType.
AlphabetisedParallelActionImpl	An implementation of the interface AlphabetisedParallelAction.
AlphabetisedParallelActionIteImpl	An implementation of the interface AlphabetisedParallelActionIte.
AlphabetisedParallelProcessIdxImpl	An implementation of the interface AlphabetisedParallelProcessIdx.
AlphabetisedParallelProcessImpl	An implementation of the interface AlphabetisedParallelProcess.
AlphabetisedParallelProcessIteImpl	An implementation of the interface AlphabetisedParallelProcessIte.
AssignmentCommandImpl	An implementation of the interface AssignmentCommand.
AssignmentPairsImpl	An implementation of the interface AssignmentPairs.
BasicActionImpl	An implementation of the interface BasicAction.
BasicChannelSetExprImpl	An implementation of the interface BasicChannelSetExpr.
BasicProcessImpl	An implementation of the interface BasicProcess.
CallActionImpl	An implementation of the interface CallAction.
CallProcessImpl	An implementation of the interface CallProcess.
ChannelDeclImpl	An implementation of the interface ChannelDecl.
ChannelParaImpl	An implementation of the interface ChannelPara.
ChannelSetImpl	An implementation of the interface ChannelSet.
ChannelSetListImpl	An implementation of the interface ChannelSetList.
ChannelSetParaImpl	An implementation of the interface ChannelSetPara.
ChannelSetTypeImpl	An implementation of the interface ChannelSetType.
ChannelTypeImpl	An implementation of the interface ChannelType.
ChaosActionImpl	An implementation of the interface ChaosAction.
CircusActionImpl	An implementation of the interface CircusAction.
CircusActionListImpl	An implementation of the interface CircusActionList.
CircusAnnImpl	An implementation of the interface CircusAnn.
CircusChannelSetImpl	An implementation of the interface CircusChannelSet.
CircusChannelSetListImpl	An implementation of the interface CircusChannelSetList.
CircusCommandImpl	An implementation of the interface CircusCommand.
CircusCommunicationListImpl	An implementation of the interface CircusCommunicationList.
CircusConjParaImpl	An implementation of the interface CircusConjPara.
CircusFactoryImpl	An implementation of the object factory for constructing concrete Z terms.
CircusFieldListImpl	An implementation of the interface CircusFieldList.
CircusGuardedCommandImpl	An implementation of the interface CircusGuardedCommand.
CircusNameSetImpl	An implementation of the interface CircusNameSet.
CircusNameSetListImpl	An implementation of the interface CircusNameSetList.
CircusProcessImpl	An implementation of the interface CircusProcess.
CircusSignatureImpl	An implementation of the interface CircusSignature.
CircusSigTypeImpl	An implementation of the interface CircusSigType.
CircusStateAnnImpl	An implementation of the interface CircusStateAnn.
CircusTypeImpl	An implementation of the interface CircusType.
CommunicationImpl	An implementation of the interface Communication.
CommunicationListImpl	An implementation of the interface CommunicationList.
CommunicationTypeImpl	An implementation of the interface CommunicationType.
DoGuardedCommandImpl	An implementation of the interface DoGuardedCommand.
DotFieldImpl	An implementation of the interface DotField.
ExtChoiceActionImpl	An implementation of the interface ExtChoiceAction.
ExtChoiceActionIteImpl	An implementation of the interface ExtChoiceActionIte.
ExtChoiceProcessIdxImpl	An implementation of the interface ExtChoiceProcessIdx.
ExtChoiceProcessImpl	An implementation of the interface ExtChoiceProcess.
ExtChoiceProcessIteImpl	An implementation of the interface ExtChoiceProcessIte.
FieldImpl	An implementation of the interface Field.
FieldListImpl	An implementation of the interface FieldList.
GuardedActionImpl	An implementation of the interface GuardedAction.
HideActionImpl	An implementation of the interface HideAction.
HideProcessImpl	An implementation of the interface HideProcess.
IfGuardedCommandImpl	An implementation of the interface IfGuardedCommand.
ImplicitChannelAnnImpl	An implementation of the interface ImplicitChannelAnn.
IndexedProcessImpl	An implementation of the interface IndexedProcess.
InputFieldImpl	An implementation of the interface InputField.
IntChoiceActionImpl	An implementation of the interface IntChoiceAction.
IntChoiceActionIteImpl	An implementation of the interface IntChoiceActionIte.
IntChoiceProcessIdxImpl	An implementation of the interface IntChoiceProcessIdx.
IntChoiceProcessImpl	An implementation of the interface IntChoiceProcess.
IntChoiceProcessIteImpl	An implementation of the interface IntChoiceProcessIte.
InterleaveActionImpl	An implementation of the interface InterleaveAction.
InterleaveActionIteImpl	An implementation of the interface InterleaveActionIte.
InterleaveProcessIdxImpl	An implementation of the interface InterleaveProcessIdx.
InterleaveProcessImpl	An implementation of the interface InterleaveProcess.
InterleaveProcessIteImpl	An implementation of the interface InterleaveProcessIte.
InterruptActionImpl	An implementation of the interface InterruptAction.
LetActionImpl	An implementation of the interface LetAction.
LetMuActionImpl	An implementation of the interface LetMuAction.
LetVarActionImpl	An implementation of the interface LetVarAction.
MuActionImpl	An implementation of the interface MuAction.
NameSetImpl	An implementation of the interface NameSet.
NameSetListImpl	An implementation of the interface NameSetList.
NameSetParaImpl	An implementation of the interface NameSetPara.
NameSetTypeImpl	An implementation of the interface NameSetType.
OnTheFlyDefAnnImpl	An implementation of the interface OnTheFlyDefAnn.
OutputFieldAnnImpl	An implementation of the interface OutputFieldAnn.
ParActionImpl	An implementation of the interface ParAction.
ParActionIteImpl	An implementation of the interface ParActionIte.
ParallelActionImpl	An implementation of the interface ParallelAction.
ParallelActionIteImpl	An implementation of the interface ParallelActionIte.
ParallelProcessIdxImpl	An implementation of the interface ParallelProcessIdx.
ParallelProcessImpl	An implementation of the interface ParallelProcess.
ParallelProcessIteImpl	An implementation of the interface ParallelProcessIte.
ParamActionImpl	An implementation of the interface ParamAction.
ParamProcessImpl	An implementation of the interface ParamProcess.
ParProcessIdxImpl	An implementation of the interface ParProcessIdx.
ParProcessImpl	An implementation of the interface ParProcess.
ParProcessIteImpl	An implementation of the interface ParProcessIte.
PrefixingActionImpl	An implementation of the interface PrefixingAction.
Process1Impl	An implementation of the interface Process1.
Process2Impl	An implementation of the interface Process2.
ProcessDImpl	An implementation of the interface ProcessD.
ProcessIdxImpl	An implementation of the interface ProcessIdx.
ProcessIteImpl	An implementation of the interface ProcessIte.
ProcessParaImpl	An implementation of the interface ProcessPara.
ProcessSignatureAnnImpl	An implementation of the interface ProcessSignatureAnn.
ProcessSignatureImpl	An implementation of the interface ProcessSignature.
ProcessSignatureListImpl	An implementation of the interface ProcessSignatureList.
ProcessTransformerPredImpl	An implementation of the interface ProcessTransformerPred.
ProcessTypeImpl	An implementation of the interface ProcessType.
ProofObligationAnnImpl	An implementation of the interface ProofObligationAnn.
QualifiedDeclImpl	An implementation of the interface QualifiedDecl.
RenameActionImpl	An implementation of the interface RenameAction.
RenameProcessImpl	An implementation of the interface RenameProcess.
SchExprActionImpl	An implementation of the interface SchExprAction.
SeqActionImpl	An implementation of the interface SeqAction.
SeqActionIteImpl	An implementation of the interface SeqActionIte.
SeqProcessIdxImpl	An implementation of the interface SeqProcessIdx.
SeqProcessImpl	An implementation of the interface SeqProcess.
SeqProcessIteImpl	An implementation of the interface SeqProcessIte.
SigmaExprImpl	An implementation of the interface SigmaExpr.
SignatureListImpl	An implementation of the interface SignatureList.
SkipActionImpl	An implementation of the interface SkipAction.
SpecStmtCommandImpl	An implementation of the interface SpecStmtCommand.
StateUpdateAnnImpl	An implementation of the interface StateUpdateAnn.
StateUpdateImpl	An implementation of the interface StateUpdate.
StopActionImpl	An implementation of the interface StopAction.
SubstitutionActionImpl	An implementation of the interface SubstitutionAction.
TransformerParaImpl	An implementation of the interface TransformerPara.
TransformerPredImpl	An implementation of the interface TransformerPred.
VarDeclCommandImpl	An implementation of the interface VarDeclCommand.
ZSignatureListImpl	An implementation of the interface ZSignatureList.

Package net.sourceforge.czt.circus.impl Description

Implementation classes of the AST for Circus.

This package provides implementations of the interfaces in net.sourceforge.czt.circus.ast. As an application programmer, you should ONLY use the object factory provided in this package explicitly. Use the interfaces in net.sourceforge.czt.circus.ast and the CircusFactoryImpl when using the AST for Circus.