List of all items

Structs

• cache::ModuleCache
• model::Span
• model::annotations::AnnotationOnlyBody
• model::annotations::AnnotationProperty
• model::constraints::AtomicSentence
• model::constraints::BinaryBooleanSentence
• model::constraints::Constraint
• model::constraints::ControlledLanguageString
• model::constraints::ControlledLanguageTag
• model::constraints::EnvironmentDef
• model::constraints::Equation
• model::constraints::FormalConstraint
• model::constraints::FunctionCardinality
• model::constraints::FunctionComposition
• model::constraints::FunctionDef
• model::constraints::FunctionParameter
• model::constraints::FunctionSignature
• model::constraints::FunctionType
• model::constraints::FunctionTypeReference
• model::constraints::FunctionalTerm
• model::constraints::Inequation
• model::constraints::MappingVariable
• model::constraints::NamedVariables
• model::constraints::QuantifiedSentence
• model::constraints::QuantifiedVariable
• model::constraints::QuantifiedVariableBinding
• model::constraints::SequenceBuilder
• model::constraints::SequenceOfPredicateValues
• model::constraints::UnaryBooleanSentence
• model::definitions::DatatypeDef
• model::definitions::EntityBody
• model::definitions::EntityDef
• model::definitions::EntityIdentity
• model::definitions::EntityIdentityDef
• model::definitions::EnumBody
• model::definitions::EnumDef
• model::definitions::EventDef
• model::definitions::MethodDef
• model::definitions::PropertyBody
• model::definitions::PropertyDef
• model::definitions::PropertyRole
• model::definitions::StructureBody
• model::definitions::StructureDef
• model::definitions::TypeClassBody
• model::definitions::TypeClassDef
• model::definitions::TypeClassReference
• model::definitions::TypeVariable
• model::definitions::TypeVariant
• model::definitions::UnionBody
• model::definitions::UnionDef
• model::definitions::ValueVariant
• model::identifiers::Identifier
• model::identifiers::QualifiedIdentifier
• model::members::Cardinality
• model::members::CardinalityRange
• model::members::MappingType
• model::members::Member
• model::members::MemberDef
• model::modules::ImportStatement
• model::modules::Module
• model::modules::ModuleBody
• model::values::Binary
• model::values::LanguageString
• model::values::LanguageTag
• model::values::MappingValue
• model::values::SequenceOfValues
• model::values::ValueConstructor

Enums

• error::Error
• model::annotations::Annotation
• model::constraints::BooleanSentence
• model::constraints::ConnectiveOperator
• model::constraints::ConstraintBody
• model::constraints::ConstraintSentence
• model::constraints::EnvironmentDefBody
• model::constraints::FunctionTypeReferenceInner
• model::constraints::InequalityRelation
• model::constraints::PredicateSequenceMember
• model::constraints::PredicateValue
• model::constraints::Quantifier
• model::constraints::SimpleSentence
• model::constraints::Subject
• model::constraints::Term
• model::constraints::Variables
• model::definitions::Definition
• model::definitions::PropertyRoleDef
• model::definitions::TypeClassArgument
• model::identifiers::IdentifierReference
• model::members::Ordering
• model::members::PseudoSequenceType
• model::members::TypeReference
• model::members::Uniqueness
• model::modules::Import
• model::values::SequenceMember
• model::values::SimpleValue
• model::values::Value

Traits

• model::HasBody
• model::HasName
• model::HasNameReference
• model::HasOptionalBody
• model::HasSourceSpan
• model::Namespace
• model::References
• model::annotations::HasAnnotations
• model::check::Validate
• model::definitions::HasMembers
• model::definitions::HasVariants
• model::members::HasCardinality
• model::members::HasType
• model::walk::SimpleModuleWalker

Functions

• error::codespan_reporting_error
• error::from_utf8_error
• error::invalid_identifier_error
• error::invalid_language_tag_error
• error::invalid_node_kind
• error::invalid_value_for_type
• error::io_error
• error::missing_node_kind
• error::missing_node_variable
• error::module_file_not_found
• error::module_parse_error
• error::tracing_filter_error
• error::tracing_subscriber_error
• error::unexpected_node_kind
• error::utf8_error
• model::annotations::preferred_type_label
• model::walk::walk_module_simple
• stdlib::dc
• stdlib::dc_terms
• stdlib::is_library_module
• stdlib::library_module
• stdlib::owl
• stdlib::rdf
• stdlib::rdfs
• stdlib::sdml
• stdlib::skos
• stdlib::xsd

Type Aliases

• error::Result

Constants

• model::members::DEFAULT_CARDINALITY
• model::members::DEFAULT_CARDINALITY_RANGE
• model::members::TYPE_BAG_CARDINALITY
• model::members::TYPE_LIST_CARDINALITY
• model::members::TYPE_MAYBE_CARDINALITY
• model::members::TYPE_ORDERED_SET_CARDINALITY
• model::members::TYPE_SET_CARDINALITY
• stdlib::MODULE_NAME_DC
• stdlib::MODULE_NAME_DC_TERMS
• stdlib::MODULE_NAME_OWL
• stdlib::MODULE_NAME_RDF
• stdlib::MODULE_NAME_RDFS
• stdlib::MODULE_NAME_SDML
• stdlib::MODULE_NAME_SKOS
• stdlib::MODULE_NAME_XSD
• stdlib::MODULE_URL_DC
• stdlib::MODULE_URL_DC_TERMS
• stdlib::MODULE_URL_OWL
• stdlib::MODULE_URL_RDF
• stdlib::MODULE_URL_RDFS
• stdlib::MODULE_URL_SDML
• stdlib::MODULE_URL_SKOS
• stdlib::MODULE_URL_XSD
• syntax::FIELD_NAME_ARGUMENT
• syntax::FIELD_NAME_ARGUMENTS
• syntax::FIELD_NAME_BASE
• syntax::FIELD_NAME_BINARY
• syntax::FIELD_NAME_BINDING
• syntax::FIELD_NAME_BODY
• syntax::FIELD_NAME_BYTE
• syntax::FIELD_NAME_CARDINALITY
• syntax::FIELD_NAME_DOMAIN
• syntax::FIELD_NAME_ELEMENT
• syntax::FIELD_NAME_FEATURE
• syntax::FIELD_NAME_FUNCTION
• syntax::FIELD_NAME_IDENTITY
• syntax::FIELD_NAME_INVERSE_NAME
• syntax::FIELD_NAME_LANGUAGE
• syntax::FIELD_NAME_LHS
• syntax::FIELD_NAME_MAX
• syntax::FIELD_NAME_MEMBER
• syntax::FIELD_NAME_METHOD
• syntax::FIELD_NAME_MIN
• syntax::FIELD_NAME_MODULE
• syntax::FIELD_NAME_NAME
• syntax::FIELD_NAME_OPERATOR
• syntax::FIELD_NAME_ORDERING
• syntax::FIELD_NAME_PARAMETER
• syntax::FIELD_NAME_PARAMETERS
• syntax::FIELD_NAME_PREDICATE
• syntax::FIELD_NAME_PROPERTY
• syntax::FIELD_NAME_QUANTIFIER
• syntax::FIELD_NAME_RANGE
• syntax::FIELD_NAME_RELATION
• syntax::FIELD_NAME_RENAME
• syntax::FIELD_NAME_RHS
• syntax::FIELD_NAME_SIGNATURE
• syntax::FIELD_NAME_SOURCE
• syntax::FIELD_NAME_SUBJECT
• syntax::FIELD_NAME_TARGET
• syntax::FIELD_NAME_UNARY
• syntax::FIELD_NAME_UNIQUENESS
• syntax::FIELD_NAME_VALUE
• syntax::FIELD_NAME_VARIABLE
• syntax::FIELD_NAME_WILDCARD
• syntax::KW_ASSIGNMENT_BY_DEFINITION
• syntax::KW_ASSIGNMENT_BY_DEFINITION_SYMBOL
• syntax::KW_BOOLEAN_FALSITY
• syntax::KW_BOOLEAN_FALSITY_SYMBOL
• syntax::KW_BOOLEAN_TRUTH
• syntax::KW_BOOLEAN_TRUTH_SYMBOL
• syntax::KW_CARDINALITY_RANGE
• syntax::KW_DEF
• syntax::KW_EMPTY_SET
• syntax::KW_FEATURES
• syntax::KW_HAS_TYPE
• syntax::KW_HAS_TYPE_SYMBOL
• syntax::KW_OPAQUE
• syntax::KW_OPERATION_BICONDITIONAL
• syntax::KW_OPERATION_BICONDITIONAL_ALT
• syntax::KW_OPERATION_BICONDITIONAL_SYMBOL
• syntax::KW_OPERATION_CONJUNCTION
• syntax::KW_OPERATION_CONJUNCTION_SYMBOL
• syntax::KW_OPERATION_DISJUNCTION
• syntax::KW_OPERATION_DISJUNCTION_SYMBOL
• syntax::KW_OPERATION_EXCLUSIVE_DISJUNCTION
• syntax::KW_OPERATION_EXCLUSIVE_DISJUNCTION_SYMBOL
• syntax::KW_OPERATION_IMPLICATION
• syntax::KW_OPERATION_IMPLICATION_ALT
• syntax::KW_OPERATION_IMPLICATION_SYMBOL
• syntax::KW_OPERATION_MEMBERSHIP
• syntax::KW_OPERATION_MEMBERSHIP_SYMBOL
• syntax::KW_OPTIONAL
• syntax::KW_ORDERING_ORDERED
• syntax::KW_ORDERING_UNORDERED
• syntax::KW_QUANTIFIED_SENTENCE_SEPARATOR
• syntax::KW_QUANTIFIER_EXISTS
• syntax::KW_QUANTIFIER_EXISTS_SYMBOL
• syntax::KW_QUANTIFIER_FORALL
• syntax::KW_QUANTIFIER_FORALL_SYMBOL
• syntax::KW_RELATION_GREATER_THAN
• syntax::KW_RELATION_GREATER_THAN_OR_EQUAL
• syntax::KW_RELATION_GREATER_THAN_OR_EQUAL_SYMBOL
• syntax::KW_RELATION_LESS_THAN
• syntax::KW_RELATION_LESS_THAN_OR_EQUAL
• syntax::KW_RELATION_LESS_THAN_OR_EQUAL_SYMBOL
• syntax::KW_RELATION_NOT_EQUAL
• syntax::KW_RELATION_NOT_EQUAL_SYMBOL
• syntax::KW_SIMPLE_TYPE_BINARY
• syntax::KW_SIMPLE_TYPE_BOOLEAN
• syntax::KW_SIMPLE_TYPE_DECIMAL
• syntax::KW_SIMPLE_TYPE_DOUBLE
• syntax::KW_SIMPLE_TYPE_INTEGER
• syntax::KW_SIMPLE_TYPE_IRI
• syntax::KW_SIMPLE_TYPE_STRING
• syntax::KW_SIMPLE_TYPE_UNSIGNED
• syntax::KW_TYPE_RESTRICTION
• syntax::KW_TYPE_RESTRICTION_SYMBOL
• syntax::KW_TYPE_UNKNOWN
• syntax::KW_UNIQUENESS_NONUNIQUE
• syntax::KW_UNIQUENESS_UNIQUE
• syntax::KW_WILDCARD
• syntax::NAME_SDML
• syntax::NODE_KIND_ACTUAL_ARGUMENTS
• syntax::NODE_KIND_ANNOTATION
• syntax::NODE_KIND_ANNOTATION_ONLY_BODY
• syntax::NODE_KIND_ANNOTATION_PROPERTY
• syntax::NODE_KIND_ATOMIC_SENTENCE
• syntax::NODE_KIND_BICONDITIONAL
• syntax::NODE_KIND_BINARY
• syntax::NODE_KIND_BINARY_BOOLEAN_SENTENCE
• syntax::NODE_KIND_BOOLEAN
• syntax::NODE_KIND_BOOLEAN_SENTENCE
• syntax::NODE_KIND_BUILTIN_SIMPLE_TYPE
• syntax::NODE_KIND_CARDINALITY_EXPRESSION
• syntax::NODE_KIND_CONJUNCTION
• syntax::NODE_KIND_CONSTANT_DEF
• syntax::NODE_KIND_CONSTRAINT
• syntax::NODE_KIND_CONSTRAINT_ENVIRONMENT
• syntax::NODE_KIND_CONSTRAINT_ENVIRONMENT_END
• syntax::NODE_KIND_CONSTRAINT_SENTENCE
• syntax::NODE_KIND_CONTROLLED_LANGUAGE_TAG
• syntax::NODE_KIND_DATA_TYPE_DEF
• syntax::NODE_KIND_DECIMAL
• syntax::NODE_KIND_DEFINITION
• syntax::NODE_KIND_DISJUNCTION
• syntax::NODE_KIND_DOUBLE
• syntax::NODE_KIND_ENTITY_BODY
• syntax::NODE_KIND_ENTITY_DEF
• syntax::NODE_KIND_ENTITY_IDENTITY
• syntax::NODE_KIND_ENUM_BODY
• syntax::NODE_KIND_ENUM_DEF
• syntax::NODE_KIND_ENVIRONMENT_DEF
• syntax::NODE_KIND_EQUATION
• syntax::NODE_KIND_EVENT_DEF
• syntax::NODE_KIND_EXCLUSIVE_DISJUNCTION
• syntax::NODE_KIND_EXISTENTIAL
• syntax::NODE_KIND_FEATURE_REFERENCE
• syntax::NODE_KIND_FORMAL_CONSTRAINT
• syntax::NODE_KIND_FUNCTIONAL_TERM
• syntax::NODE_KIND_FUNCTION_CARDINALITY_EXPRESSION
• syntax::NODE_KIND_FUNCTION_COMPOSITION
• syntax::NODE_KIND_FUNCTION_DEF
• syntax::NODE_KIND_FUNCTION_PARAMETER
• syntax::NODE_KIND_FUNCTION_SIGNATURE
• syntax::NODE_KIND_FUNCTION_TYPE_REFERENCE
• syntax::NODE_KIND_GREATER_THAN
• syntax::NODE_KIND_GREATER_THAN_OR_EQUAL
• syntax::NODE_KIND_IDENTIFIER
• syntax::NODE_KIND_IDENTIFIER_REFERENCE
• syntax::NODE_KIND_IDENTITY_MEMBER
• syntax::NODE_KIND_IDENTITY_ROLE
• syntax::NODE_KIND_IMPLICATION
• syntax::NODE_KIND_IMPORT_STATEMENT
• syntax::NODE_KIND_INEQUATION
• syntax::NODE_KIND_INFORMAL_CONSTRAINT
• syntax::NODE_KIND_INTEGER
• syntax::NODE_KIND_IRI
• syntax::NODE_KIND_LANGUAGE_TAG
• syntax::NODE_KIND_LESS_THAN
• syntax::NODE_KIND_LESS_THAN_OR_EQUAL
• syntax::NODE_KIND_LINE_COMMENT
• syntax::NODE_KIND_MAPPING_TYPE
• syntax::NODE_KIND_MAPPING_VALUE
• syntax::NODE_KIND_MAPPING_VARIABLE
• syntax::NODE_KIND_MEMBER
• syntax::NODE_KIND_MEMBER_IMPORT
• syntax::NODE_KIND_MEMBER_INVERSE_NAME
• syntax::NODE_KIND_MEMBER_ROLE
• syntax::NODE_KIND_METHOD_DEF
• syntax::NODE_KIND_MODULE
• syntax::NODE_KIND_MODULE_BODY
• syntax::NODE_KIND_MODULE_IMPORT
• syntax::NODE_KIND_NAMED_VARIABLE_SET
• syntax::NODE_KIND_NEGATION
• syntax::NODE_KIND_NOT_EQUAL
• syntax::NODE_KIND_OPAQUE
• syntax::NODE_KIND_OPTIONAL
• syntax::NODE_KIND_PREDICATE_VALUE
• syntax::NODE_KIND_PROPERTY_BODY
• syntax::NODE_KIND_PROPERTY_DEF
• syntax::NODE_KIND_PROPERTY_MEMBER
• syntax::NODE_KIND_QUALIFIED_IDENTIFIER
• syntax::NODE_KIND_QUANTIFIED_SENTENCE
• syntax::NODE_KIND_QUANTIFIED_VARIABLE
• syntax::NODE_KIND_QUANTIFIED_VARIABLE_BINDING
• syntax::NODE_KIND_QUOTED_STRING
• syntax::NODE_KIND_RESERVED_SELF
• syntax::NODE_KIND_ROLE_BY_REFERENCE
• syntax::NODE_KIND_ROLE_BY_VALUE
• syntax::NODE_KIND_SEQUENCE_BUILDER
• syntax::NODE_KIND_SEQUENCE_BUILDER_BODY
• syntax::NODE_KIND_SEQUENCE_ITERATOR
• syntax::NODE_KIND_SEQUENCE_OF_PREDICATE_VALUES
• syntax::NODE_KIND_SEQUENCE_OF_VALUES
• syntax::NODE_KIND_SIMPLE_SENTENCE
• syntax::NODE_KIND_SIMPLE_VALUE
• syntax::NODE_KIND_STRING
• syntax::NODE_KIND_STRUCTURE_BODY
• syntax::NODE_KIND_STRUCTURE_DEF
• syntax::NODE_KIND_STRUCTURE_MEMBER
• syntax::NODE_KIND_TERM
• syntax::NODE_KIND_TYPE_CLASS_ARGUMENTS
• syntax::NODE_KIND_TYPE_CLASS_DEF
• syntax::NODE_KIND_TYPE_CLASS_REFERENCE
• syntax::NODE_KIND_TYPE_ITERATOR
• syntax::NODE_KIND_TYPE_VARIABLE
• syntax::NODE_KIND_TYPE_VARIANT
• syntax::NODE_KIND_UNARY_BOOLEAN_SENTENCE
• syntax::NODE_KIND_UNION_BODY
• syntax::NODE_KIND_UNION_DEF
• syntax::NODE_KIND_UNIVERSAL
• syntax::NODE_KIND_UNKNOWN_TYPE
• syntax::NODE_KIND_UNSIGNED
• syntax::NODE_KIND_VALUE_CONSTRUCTOR
• syntax::NODE_KIND_VALUE_VARIANT
• syntax::NODE_KIND_WILDCARD
• syntax::PC_BINARY_END
• syntax::PC_BINARY_START
• syntax::PC_CARDINALITY_END
• syntax::PC_CARDINALITY_START
• syntax::PC_CONSTRAINT_EXRESSION_GROUP_END
• syntax::PC_CONSTRAINT_EXRESSION_GROUP_START
• syntax::PC_FUNCTION_COMPOSITION_SEPARATOR
• syntax::PC_FUNCTION_PARARGS_END
• syntax::PC_FUNCTION_PARARGS_START
• syntax::PC_IRI_END
• syntax::PC_IRI_START
• syntax::PC_LINE_COMMENT_START
• syntax::PC_MAPPING_TYPE_VALUE_END
• syntax::PC_MAPPING_TYPE_VALUE_START
• syntax::PC_METHOD_PARARGS_END
• syntax::PC_METHOD_PARARGS_START
• syntax::PC_QUALIFIED_IDENTIFIER_SEPARATOR
• syntax::PC_SEQUENCE_BUILDER_END
• syntax::PC_SEQUENCE_BUILDER_SEPARATOR
• syntax::PC_SEQUENCE_BUILDER_START
• syntax::PC_SEQUENCE_END
• syntax::PC_SEQUENCE_START
• syntax::PC_STRING_END
• syntax::PC_STRING_START
• syntax::PC_TYPE_CLASS_PARARGS_COMBINE
• syntax::PC_TYPE_CLASS_PARARGS_END
• syntax::PC_TYPE_CLASS_PARARGS_START