Uses of Interface
dev.civl.abc.ast.node.IF.acsl.TransformNode

Packages that use TransformNode

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.acsl

Uses of TransformNode in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF that return types with arguments of type TransformNode

Modifier and Type	Method	Description
List<TransformNode>	ASTNode.transformAnnotations()

Methods in dev.civl.abc.ast.node.IF with parameters of type TransformNode

Modifier and Type	Method	Description
void	ASTNode.addTransformAnnotation(TransformNode transform)

Method parameters in dev.civl.abc.ast.node.IF with type arguments of type TransformNode

Modifier and Type	Method	Description
void	ASTNode.addAllTransformAnnotations(List<TransformNode> transforms)

Uses of TransformNode in dev.civl.abc.ast.node.IF.acsl

Subinterfaces of TransformNode in dev.civl.abc.ast.node.IF.acsl

Modifier and Type	Interface	Description
interface	FocusAssertTransformNode
interface	FocusLoopTransformNode
interface	FocusOrderedTransformNode
interface	FocusTransformNode
interface	InsertTransformNode