Skip to content

Commit

Permalink
Axiom: Added metadata statement to language
Browse files Browse the repository at this point in the history
Signed-off-by: Tony Tkacik <tonydamage@gmail.com>
  • Loading branch information
tonydamage committed Jun 11, 2020
1 parent 5f08847 commit 2bb09e7
Showing 1 changed file with 20 additions and 1 deletion.
21 changes: 20 additions & 1 deletion infra/axiom/src/main/resources/axiom-model.axiom
Expand Up @@ -21,7 +21,8 @@ model axiom-model {
supertype string;
}


type ItemCompleteness; // FIXME: Add definition
type ValueSignificance; // FIXME: Add definition
// Axiom Infra Model

type AxiomItem {
Expand All @@ -35,12 +36,19 @@ model axiom-model {
item value {
type AxiomValue;
}

item completeness {
type ItemCompleteness;
}
}

type AxiomValue {
item type {
type AxiomTypeReference;
}
item significance {
type ValueSignificance;
}
item metadata {
type AxiomItem;
}
Expand Down Expand Up @@ -285,6 +293,10 @@ model axiom-model {
models (namespaces).
""";
}

item metadata {
type AxiomMetadataDefinition;
}
}

type AxiomImportDeclaration {
Expand Down Expand Up @@ -353,5 +365,12 @@ model axiom-model {
}
}

type AxiomMetadataDefinition {
supertype AxiomTypeDefinition;
//item itemName {
// type AxiomName;
//}
// TODO: Add limits for specific types
}

}

0 comments on commit 2bb09e7

Please sign in to comment.