Description
Eqiora Language syntax, lossless tokens, parser, and canonical formatter.
Structs§
- AstConstruction
Error - A structural source-AST construction failure.
- Boundary
Connection Decl - One boundary Connection containing field-valued Port references.
- Boundary
Port Reference Syntax - One Port path with an optional exact boundary-member selector.
- Boundary
Port Selector Syntax - Closed
[member = target]selector on one boundary-family Port. - CaseArm
- One explicit qualified enum-tag pattern and its authored result expression.
- Clock
Decl - Exact periodic clock declaration.
- Clock
Requirement Decl - Borrowed exact clock requirement; it does not declare another period or phase.
- Component
Decl - A reusable typed source definition before deterministic elaboration.
- Component
Parameter Decl - Component-local scalar Parameter declaration.
- Component
Port Decl - Component-local Port declaration.
- Component
Port Family Decl - One field-physical Port declaration expanded over a complete exterior.
- Component
Property Decl - One exact nominal property contract in a shared external signature.
- Connection
Decl - Connection declaration.
- Connector
Decl - A nominal compilation-unit connector family.
- Connector
Quantity Syntax - One named quantity member of a field-valued physical Connector.
- Conservation
Syntax - Fixed-domain storage, outward flux, and volumetric production expressions.
- Decimal
Literal - An exact signed decimal coefficient times a power of ten.
- DocComment
- Documentation attached to one declaration or signature entry in its source.
- Document
- One parsed source file.
- Domain
Decl - Named semantic Domain declaration.
- Draft
Conserving Connection - Immutable anonymous conserving connection net.
- Draft
Conserving Port - Immutable scalar conserving Port bound to one draft-local Domain identity.
- Draft
Expression - Immutable symbolic expression used only while defining a native model.
- Draft
Field - Immutable typed Field declaration, either local or spatially supported.
- Draft
Observable - Immutable typed derived output; it introduces no solve unknown.
- Draft
Parameter - Immutable Parameter declaration owning one complete validated value.
- Draft
Physical Domain - Immutable nominal Domain for one scalar across/through pair.
- Draft
Relation - Immutable continuous implicit Relation declaration.
- Draft
Spatial Domain - Immutable draft-local Cartesian volume or oriented boundary Domain.
- Enum
Decl - A module-level enum whose ordered tags belong to one declaration identity.
- Event
Decl - A private event with an inferred guard type and explicit crossing direction.
- Exact
Integer Syntax - One exact nonnegative integer token with its original source spelling.
- Expr
- Source expression with its exact byte range.
- Family
Binder Syntax - Lexical binder for a member of a finite index or complete exterior support set.
- Field
Decl - A source unknown with independent role, support, and activation.
- Finite
Basis Syntax - One declared finite basis or its algebraic dual in source syntax.
- Initial
Decl - Simultaneous mathematical conditions used only for fresh initialization.
- Instance
Decl - One named compile-time component instance.
- Model
Decl - A named model and its declarations.
- Module
- Immutable compilation module over the same declaration and expression AST produced by the parser. Native nominal identities and diagnostic paths are explicit authoring metadata, not a second semantic graph.
- Name
Path - One nonempty source name, optionally qualified by lexical member selection.
- Named
Binding Decl - One category-free named occurrence binding.
- Named
Definition Decl - Named expression definition. Its containing declaration determines meaning and allowed assertions.
- Notation
- Validated declaration notation with original source provenance.
- Notation
Error - A notation error at a UTF-8 byte range relative to the supplied island.
- Notation
Label - A bounded generated label, separate from source notation admission.
- Observable
Decl - A typed derived value, separate from unknowns and equations.
- Parameter
Decl - Parameter source declaration.
- Parse
Result - Parsed document, lossless tokens, and accumulated source diagnostics.
- Port
Decl - Port declaration.
- Property
Table Syntax - The sole supported table profile: exact piecewise-affine values and open derivatives.
- Pure
Operator Decl - One exact, side-effect-free operator definition in source form.
- Pure
Operator Formal - One ordered pure-operator formal.
- Record
Decl - A module-level closed record, with declaration-ordered named members.
- Record
Member Decl - One named member retaining its complete mathematical type.
- Relation
Condition - One ordered authored condition, retaining source ranges and explicit predicates. Residual construction and nonnegativity normalization belong to checked lowering.
- Relation
Decl - Relation declaration.
- Relation
Family Decl - One Relation expanded once per member of an exact finite set.
- Source
AstFactory - Checked factory for owned source AST values.
- Support
Slot Decl - Component-local spatial-support interface.
- Text
Range - Half-open UTF-8 byte range in one source file.
- Token
- One lossless source token.
- Value
Type Syntax - Source-level mathematical type, before dimensions and support are resolved.
Enums§
- Activation
Syntax - Source activation syntax.
- Binary
Op - Infix expression operator.
- Boundary
Pairing Syntax - Source boundary pairing for one trace/flux dual pair.
- Boundary
Side Syntax - Source spelling of a Cartesian boundary side.
- Call
Arguments - One authored-order argument list for a shared expression call.
- Cartesian
Coordinate Syntax - Closed source spelling for one Cartesian coordinate endpoint.
- Component
Item - Private Component implementation declarations.
- Connection
Syntax - Source connection kind.
- Connector
Syntax - Source contract for one nominal connector family.
- Domain
Syntax - Source contract for one canonical Domain.
- Draft
Declaration - One declaration admitted by the first native-construction slice.
- Expr
Kind - Recursive parser AST. Canonical residual storage is the lowered DAG.
- Field
Role Syntax - Author-declared mathematical evolution role.
- Formulation
Binding - Mathematical variables introduced by an authored formulation.
- Frame
Syntax - Source frame discipline for field-valued physical quantities.
- Item
- Model-level declaration.
- Notation
Accent - An admitted symbol accent, without mathematical evaluation.
- Notation
Atom - Admitted letter or distinguished symbol. Digits occur only in intrinsic scripts.
- Notation
Mark - An intrinsic script mark, never an expression operation.
- Notation
Node - One admitted symbol decoration, independent of any rendering backend.
- Notation
Profile - A declaration-label output profile. Accessibility deliberately drops styles.
- Notation
Style - Explicit symbol style, independent of the declaration’s mathematical type.
- Port
Syntax - Source-level Port contract.
- Property
Source Syntax - One closed property definition, with data references kept outside value scope.
- Pure
Value Class Syntax - Closed source value classes admitted by a pure operator definition.
- Reduction
Op - Scalar operation for an ordered finite reduction.
- Relation
Body - Exclusive mathematical syntax of a Relation declaration.
- Relation
Condition Kind - Mathematical meaning of one ordered pair of expression roots.
- Signal
Direction Syntax - Source-level signal direction.
- Signature
Item - One public requirement or occurrence-owned exposed value in a typed signature.
- Support
Slot Syntax - Source contract for one component spatial-support slot.
- Token
Kind - Lexical token class.
- UnaryOp
- Prefix expression operator.
- Value
Shape Syntax - Source spelling of an exact value shape or a context-dependent convenience.
- Value
Type Syntax Kind - Closed mathematical type constructors. Arrays retain their element type.
- Visibility
Syntax - Source declaration visibility. Absence of a modifier parses as private.