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
Decl - Model boundary declaration.
- Boundary
Family Binder Syntax - Restricted binder for one member of a complete exterior support set.
- 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. - Boundary
SetBinding Decl - One finite
boundaries(...)binding for a complete exterior support slot. - Boundary
SetMember Syntax - One lexically named member of a complete exterior binding.
- Clock
Decl - Exact periodic clock declaration.
- 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.
- 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.
- 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 scalar Field declaration, either local or spatially supported.
- Draft
Parameter - Immutable scalar Parameter declaration.
- Draft
Physical Domain - Immutable nominal Domain for one scalar across/through pair.
- Draft
Relation - Immutable continuous implicit Relation declaration.
- Draft
Representation - Immutable continuous pre-discretization Representation declaration.
- Draft
Spatial Domain - Immutable draft-local Cartesian volume or oriented boundary Domain.
- Exact
Integer Syntax - One exact nonnegative integer token with its original source spelling.
- Expr
- Source expression with its exact byte range.
- Field
Binding Decl - One named occurrence-bound Field binding in a component instantiation.
- Field
Decl - Field source declaration.
- Field
Slot Decl - Required occurrence-bound continuum Field interface.
- Instance
Decl - One named compile-time component instance.
- LexResult
- Lossless tokens plus lexical diagnostics.
- Model
Decl - A named model and its declarations.
- Model
Draft - One immutable native model definition request.
- Name
Path - One nonempty source name, optionally qualified by lexical member selection.
- Parameter
Binding Decl - One named binding in a component instantiation.
- Parameter
Decl - Parameter source declaration.
- Parse
Result - Parsed document, lossless tokens, and accumulated source diagnostics.
- Port
Decl - Port declaration.
- Pure
Operator Decl - One exact, side-effect-free operator definition in source form.
- Pure
Operator Expr - Exact expression admitted inside a pure operator declaration.
- Pure
Operator Formal - One ordered pure-operator formal.
- Rational
Syntax - Unreduced rational literal; semantic validation occurs during lowering.
- Relation
Decl - Relation declaration.
- Relation
Family Decl - One continuous Relation expanded once per complete-exterior member.
- Representation
Decl - Canonical Representation declaration.
- Source
AstFactory - Checked factory for owned source AST values.
- Support
Binding Decl - One named spatial-support binding in a component instantiation.
- 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.
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.
- Cartesian
Coordinate Syntax - Closed source spelling for one Cartesian coordinate endpoint.
- Component
Item - Component-body declaration.
- Connection
Syntax - Source connection kind.
- Connector
Syntax - Source contract for one nominal connector family.
- Domain
Syntax - Source contract for one canonical Domain.
- Draft
Boundary Side - Lower or upper oriented side of a Cartesian Domain.
- Draft
Declaration - One declaration admitted by the first native-construction slice.
- Expr
Kind - Recursive parser AST. Canonical residual storage is the lowered DAG.
- Frame
Syntax - Source frame discipline for field-valued physical quantities.
- Item
- Model-level declaration.
- Port
Syntax - Source-level Port contract.
- Pure
Operator Binary Op - Infix operators admitted by a pure operator body.
- Pure
Operator Expr Kind - Closed exact expression vocabulary for pure operators.
- Pure
Value Class Syntax - Closed source value classes admitted by a pure operator definition.
- Representation
Syntax - Source representation family.
- Signal
Direction Syntax - Source-level signal direction.
- 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.
- Visibility
Syntax - Source declaration visibility. Absence of a modifier parses as private.