net.sourceforge.czt.circus.ast

Interface SpecStmtCommand

All Superinterfaces:

CircusAction, CircusCommand, Term

All Known Implementing Classes:

SpecStmtCommandImpl

public interface SpecStmtCommand
extends CircusCommand

Circus command declaring a specification statement in Carroll Morgan's style. It represents the grammar rule N+:[Pred,Pred]. The parser is responsible to ensure that no strokes are allowed in the frame variables.

As assumption and coercion are syntactic sugar for often used specification statements, they do not have an explicit AST class. Instead, assumption (grammar rule {Pred}) is represented by a specification statement with empty frame, Pred precondition, and true postcondition. Similarly, coercion (grammar rule [Pred]) is represented by a specification statement with empty frame, true precondition, and Pred postcondition.

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Modifier and Type	Method and Description
NameList	getFrame() Returns the Frame element.
Pred	getPost()
Pred	getPre()
ListTerm<Pred>	getPred() Returns the Pred elements.
ZNameList	getZFrame() This is a convenience method.
void	setFrame(NameList frame) Sets the Frame element.
void	setPost(Pred pred)
void	setPre(Pred pred)

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

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

Method Detail

getFrame

NameList getFrame()

Returns the Frame element.

Returns:

the Frame element.

setFrame

void setFrame(NameList frame)

Sets the Frame element.

Parameters:

frame - the Frame element.

See Also:

getFrame()

getPred

ListTerm<Pred> getPred()

Returns the Pred elements.

To add or remove elements, use the methods provided by the List interface (that's why there is no need for a setter method).

Returns:

a list of Pred elements.

getZFrame

ZNameList getZFrame()

This is a convenience method. It returns the ZNameList if NameList is an instance of ZNameList or throws an UnsupportedAstClassException otherwise.

getPre

Pred getPre()

setPre

void setPre(Pred pred)

getPost

Pred getPost()

setPost

void setPost(Pred pred)