net.sourceforge.czt.circus.ast

Interface RenameProcess

All Superinterfaces:

CircusProcess, Process1, Term

All Known Implementing Classes:

RenameProcessImpl

public interface RenameProcess
extends Process1

Circus process with channel renaming. As channels in Circus are strongly-typed, type-checking is expected. Note that, since the class derives from Process1, the grammar does not accept on-the-fly renaming of parameterised processes. ex: (x: \nat @ c!x -> Stop)[c := b]. This is a design decision for uniformity purposes only.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
AssignmentPairs	getAssignmentPairs() Returns the AssignmentPairs element.
void	setAssignmentPairs(AssignmentPairs assignmentPairs) Sets the AssignmentPairs element.

Methods inherited from interface net.sourceforge.czt.circus.ast.Process1

getCircusProcess, setCircusProcess

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

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

Method Detail

getAssignmentPairs

AssignmentPairs getAssignmentPairs()

Returns the AssignmentPairs element.

Returns:

the AssignmentPairs element.

setAssignmentPairs

void setAssignmentPairs(AssignmentPairs assignmentPairs)

Sets the AssignmentPairs element.

Parameters:

assignmentPairs - the AssignmentPairs element.

See Also:

getAssignmentPairs()