net.sourceforge.czt.circus.ast

Interface CircusProcess

All Superinterfaces:

Term

All Known Subinterfaces:

AlphabetisedParallelProcess, AlphabetisedParallelProcessIdx, AlphabetisedParallelProcessIte, BasicProcess, CallProcess, ExtChoiceProcess, ExtChoiceProcessIdx, ExtChoiceProcessIte, HideProcess, IndexedProcess, IntChoiceProcess, IntChoiceProcessIdx, IntChoiceProcessIte, InterleaveProcess, InterleaveProcessIdx, InterleaveProcessIte, ParallelProcess, ParallelProcessIdx, ParallelProcessIte, ParamProcess, ParProcess, ParProcessIdx, ParProcessIte, Process1, Process2, ProcessD, ProcessIdx, ProcessIte, RenameProcess, SeqProcess, SeqProcessIdx, SeqProcessIte

All Known Implementing Classes:

AlphabetisedParallelProcessIdxImpl, AlphabetisedParallelProcessImpl, AlphabetisedParallelProcessIteImpl, BasicProcessImpl, CallProcessImpl, CircusProcessImpl, ExtChoiceProcessIdxImpl, ExtChoiceProcessImpl, ExtChoiceProcessIteImpl, HideProcessImpl, IndexedProcessImpl, IntChoiceProcessIdxImpl, IntChoiceProcessImpl, IntChoiceProcessIteImpl, InterleaveProcessIdxImpl, InterleaveProcessImpl, InterleaveProcessIteImpl, ParallelProcessIdxImpl, ParallelProcessImpl, ParallelProcessIteImpl, ParamProcessImpl, ParProcessIdxImpl, ParProcessImpl, ParProcessIteImpl, Process1Impl, Process2Impl, ProcessDImpl, ProcessIdxImpl, ProcessIteImpl, RenameProcessImpl, SeqProcessIdxImpl, SeqProcessImpl, SeqProcessIteImpl

public interface CircusProcess
extends Term

An abstract Circus process definition. It represents the ProcessDefinition grammar rule. Available extensions are basic process description; recursion; prefixing; guarded process; process call; all forms of unary, binary, iterated, and indexed processes; processes involving expressions; and processes involving declarations.

The parser is responsible to enforce restrictions over process definitions involving parameters or indexes within some binary productions. For instance, the parse must rule out cases such as (x: nat @ A) [] (y: nat @ B), since parameterised process can only appear in an external choice whenever the actual parameters are given.

This allows us to represent the grammar rules ProcessDefinition and Process with a single class. The main advantage is that we can treat unary process definitions uniformly through a single hierarchy tree.

Naming this class Process would have been a better choice but unfortunately this would conflict with the interface java.lang.Process.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn