Uses of Enum Class
dev.civl.abc.ast.node.IF.acsl.FocusTransformNode.FocusKind

Packages that use FocusTransformNode.FocusKind

Package	Description
dev.civl.abc.ast.node.IF.acsl

Uses of FocusTransformNode.FocusKind in dev.civl.abc.ast.node.IF.acsl

Methods in dev.civl.abc.ast.node.IF.acsl that return FocusTransformNode.FocusKind

Modifier and Type	Method	Description
FocusTransformNode.FocusKind	FocusTransformNode.getFocusKind()
static FocusTransformNode.FocusKind	FocusTransformNode.FocusKind.valueOf(String name)	Returns the enum constant of this class with the specified name.
static FocusTransformNode.FocusKind[]	FocusTransformNode.FocusKind.values()	Returns an array containing the constants of this enum class, in the order they are declared.