net.sourceforge.czt.circus.ast

Interface RenameAction

All Superinterfaces:

Action1, CircusAction, Term

All Known Implementing Classes:

RenameActionImpl

public interface RenameAction
extends Action1

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

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.Action1

getCircusAction, setCircusAction

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()