Uses of Class
cb.petal.SemanticInfo

Packages that use SemanticInfo

Package	Description
cb.petal

Uses of SemanticInfo in cb.petal

Methods in cb.petal that return SemanticInfo

Modifier and Type	Method and Description
SemanticInfo	Operation.getPostCondition()
SemanticInfo	Operation.getSemantics()

Methods in cb.petal with parameters of type SemanticInfo

Modifier and Type	Method and Description
void	Operation.setPostCondition(SemanticInfo c)
void	Operation.setSemantics(SemanticInfo c)
void	EmptyVisitor.visit(SemanticInfo obj)
void	Visitor.visit(SemanticInfo obj)
void	DescendingVisitor.visit(SemanticInfo obj)