ProjectTreeNodeKind¶
-
public enum
ProjectTreeNodeKind¶
Enum Constants¶
EncapsulatingComponentDecl¶
-
public static final ProjectTreeNodeKind
EncapsulatingComponentDecl¶ A Coco LeafAssertion.
ExternalComponentDecl¶
-
public static final ProjectTreeNodeKind
ExternalComponentDecl¶ A Coco LeafAssertion.
Folder¶
-
public static final ProjectTreeNodeKind
Folder¶ A file system directory,
GroupAssertion¶
-
public static final ProjectTreeNodeKind
GroupAssertion¶ A Coco GroupAssertion.
ImplementationComponentDecl¶
-
public static final ProjectTreeNodeKind
ImplementationComponentDecl¶ A Coco LeafAssertion.
LeafAssertion¶
-
public static final ProjectTreeNodeKind
LeafAssertion¶ A Coco LeafAssertion.
Module¶
-
public static final ProjectTreeNodeKind
Module¶ An individual .coco module file.
Package¶
-
public static final ProjectTreeNodeKind
Package¶ An individual coco package
PortDecl¶
-
public static final ProjectTreeNodeKind
PortDecl¶ A Coco LeafAssertion.
Project¶
-
public static final ProjectTreeNodeKind
Project¶ Represents the project root.
TomlFile¶
-
public static final ProjectTreeNodeKind
TomlFile¶ A pseudo-node to represent the Coco.toml file. This is only used to report errors.
VerifyDeclHasTrace¶
-
public static final ProjectTreeNodeKind
VerifyDeclHasTrace¶ A hasTrace-style assertion
Methods¶
fromInteger¶
-
public static ProjectTreeNodeKind
fromInteger(int value)¶
toInteger¶
-
public static int
toInteger(ProjectTreeNodeKind value)¶