Code Index Coco Positions

AnyValue
One Of:
ArrayValue
All Of:

Value –

Properties:
Attribute

A single attribute in a Coco file, e.g. @runtime(.SingleThreaded).

Properties:
  • arguments (Array[RenderedValue]) – The arguments to the attribute (e.g. .SingleThreaded).
  • decl (Object) – The declaration of the attribute (e.g. Base.runtime).
Value
Properties:kind (String) –
CocoDeclRef
Properties:
  • fully_qualified_name (String) –
  • name (String) –
CocoExtendedKind
Enum:ExternalComponentSignalSender, PortField, ProvidedPortAccessor
CocoModuleKind
Enum:Normal, Test
CocoParameterKind
Enum:ImmutableReference, MutableReference, OutReference, Value
CocoPosition

Gives details on the Coco declaration from which a declaration in the generated code came from.

Properties:
  • fully_qualified_name (String) – The fully-qualified name of the Coco construct from which this declaration was generated (e.g. Module.Decl.Child).
  • kind (String) – The kind od Coco declaration from which this was generated.
  • name (String) – The unqualified name of the Coco construct from which this declaration was generated (e.g. Child).
  • extended_kind (CocoExtendedKind) –
  • component_kind (String) –
  • module_kind (CocoModuleKind) –
  • parameter_kind (CocoParameterKind) –
  • attributes (Array[Attribute]) – The attributes that were applied to this declaration in Coco.
EnumValue
All Of:Value –
Properties:decl (CocoDeclRef) –
PrimitiveValue
All Of:

Value –

Properties:
  • kind ("PrimitiveValue") –
  • oneOf –
RenderedValue
Properties:
  • value (AnyValue) –
  • rendered (String) –
SimpleEnumValue
All Of:EnumValue –
Properties:kind ("SimpleEnumValue") –
TaggedUnionEnumValue
All Of:

EnumValue –

Properties: