Note

You are not reading the most recent version of this documentation.

NodeKind

enum Cocotec.CocoPlatform.Coco.NodeKind

Values:

AttributesDecl
ExtraValueDeclAttributes
ExtraTypeClassInstanceMemberAttributes
VerifyDecl
ImportDecl
ConstructorDecl
ExternalFunctionDecl
FunctionDecl
InvariantDecl
TraceDecl
FunctionInterfaceDecl
SignalDecl
AttributeDecl
EnumerationCaseDecl
ModuleDecl
FieldDecl
ExternalConstantDecl
ParameterDecl
VariableDecl
ComponentDecl
EnumerationDecl
ExternalTypeDecl
RecordDecl
TypeAliasDecl
TypeClassDecl
PortDecl
ExecutionState
EventState
StateMachine
AssociatedTypeTypeDecl
AssociatedValueTypeDecl
TypeVariableTypeParameterDecl
ValueTypeParameterDecl
Transition
TypeClassInstanceDecl
NegatedRequirementRepr
TypeClassInstanceRequirementRepr
TypeComparisonRequirementRepr
BreakStmt
ContinueStmt
DeclStmt
CallExpr
ConstructorCallExpr
ConstructSignalExpr
LocalMemberCallExpr
InterfaceCallExpr
SendConstructedSignalExpr
SendSignalExpr
ArrayDereferenceExpr
ArrayLiteralExpr
AssignmentExpr
BlockExpr
BinaryOperationExpr
UnresolvedCastExpr
CodeCompletionExpr
CompoundAwaitExpr
ErrorExpr
ExternalCodeExpr
IfExpr
DerivedToBaseExpr
FunctionPointerExpr
ImplicitCastExpr
ImplicitCastToDivExpr
LoadExpr
LValueCastExpr
SignalToSignalBaseExpr
StateConstructorExpr
InheritExpr
LiteralExpr
MatchExpr
MemberReferenceExpr
NonDeterministicExpr
OptionalExpr
StructLiteralExpr
TryOperatorExpr
UnaryOperationExpr
UndefinedExpr
UnresolvedMemberExpr
UnresolvedSpecialiseExpr
UnresolvedVariableExpr
VariableExpr
ForStmt
WhileStmt
ParameterBindStmt
BecomeStmt
ReturnStmt
SimpleAwaitStmt
CodeCompletionPattern
EnumerationCasePattern
ErrorPattern
LiteralPattern
StatePattern
StorageDeclPattern
VariablePattern
WildcardPattern
BinaryOperationTypeRepr
CodeCompletionTypeRepr
DependentMemberTypeRepr
ErrorTypeRepr
FunctionTypeRepr
InstantiatedTypeRepr
ReferenceTypeRepr
TypeReferenceRepr
TypeLiteralRepr
UnaryOperationTypeRepr
Attribute
ReferenceConnection
PortConnection
ArrayEventSource
CodeCompletionEventSource
ErrorEventSource
FieldEventSource
CompoundEventHandler
DeferredEventHandler
ExprEventHandler
IllegalEventHandler
CodeCompletionEvent
EmptyQueueEvent
ErrorEvent
AmbiguousObservedEvent
NonDetObservedEvent
OfferObservedEvent
SpontaneousObservedEvent
TimerObservedEvent
CallObservedEvent
ReturnObservedEvent
SendSignalObservedEvent
ExprCallObservedEvent
ExprReturnObservedEvent
ExprSendSignalObservedEvent
DrainQueueObservedEvent
ProcessQueueObservedEvent
UnusedObservedEvent
ReceiveEvent
ReceiveFallbackEvent
SpontaneousEvent
TimerEvent
UnusedEvent
AlwaysHasTraceAssert
HasTraceAssert
NegatedAssert
AwaitClause
CompoundEventHandlerClause
GenericSignatureRepr
MatchClause
NonDetClause
StructLiteralBinding