1 | %token <STRING> V_IDENTIFIER
|
---|
2 | %token <STRING> V_ARCHETYPE_ID
|
---|
3 | %token <STRING> V_LOCAL_TERM_CODE_REF
|
---|
4 | %token <STRING> V_DADL_TEXT V_CADL_TEXT V_ASSERTION_TEXT
|
---|
5 | %token <STRING> V_VERSION_STRING
|
---|
6 |
|
---|
7 | %token SYM_ARCHETYPE SYM_CONCEPT SYM_SPECIALIZE
|
---|
8 | %token SYM_DEFINITION SYM_LANGUAGE
|
---|
9 | %token SYM_DESCRIPTION SYM_ONTOLOGY SYM_INVARIANT
|
---|
10 | %token SYM_ADL_VERSION SYM_IS_CONTROLLED
|
---|
11 |
|
---|
12 | %%
|
---|
13 |
|
---|
14 | input: archetype
|
---|
15 | | error
|
---|
16 |
|
---|
17 | archetype: arch_identification
|
---|
18 | arch_specialisation
|
---|
19 | arch_concept
|
---|
20 | arch_language
|
---|
21 | arch_description
|
---|
22 | arch_definition
|
---|
23 | arch_invariant
|
---|
24 | arch_ontology
|
---|
25 |
|
---|
26 |
|
---|
27 | arch_identification: arch_head V_ARCHETYPE_ID
|
---|
28 | | SYM_ARCHETYPE error
|
---|
29 |
|
---|
30 | arch_head: SYM_ARCHETYPE
|
---|
31 | | SYM_ARCHETYPE arch_meta_data
|
---|
32 |
|
---|
33 | arch_meta_data: '(' arch_meta_data_items ')'
|
---|
34 |
|
---|
35 | arch_meta_data_items: arch_meta_data_item
|
---|
36 | | arch_meta_data_items ';' arch_meta_data_item
|
---|
37 |
|
---|
38 | arch_meta_data_item: SYM_ADL_VERSION '=' V_VERSION_STRING
|
---|
39 | | SYM_IS_CONTROLLED
|
---|
40 |
|
---|
41 | arch_specialisation: -- empty is ok
|
---|
42 | | SYM_SPECIALIZE V_ARCHETYPE_ID
|
---|
43 | | SYM_SPECIALIZE error
|
---|
44 |
|
---|
45 | arch_concept: SYM_CONCEPT V_LOCAL_TERM_CODE_REF
|
---|
46 | | SYM_CONCEPT error
|
---|
47 |
|
---|
48 | arch_language: -- empty is ok for ADL 1.4 tools
|
---|
49 | | SYM_LANGUAGE V_DADL_TEXT
|
---|
50 | | SYM_LANGUAGE error
|
---|
51 |
|
---|
52 | arch_description: -- no meta-data ok
|
---|
53 | | SYM_DESCRIPTION V_DADL_TEXT
|
---|
54 | | SYM_DESCRIPTION error
|
---|
55 |
|
---|
56 | arch_definition: SYM_DEFINITION V_CADL_TEXT
|
---|
57 | | SYM_DEFINITION error
|
---|
58 |
|
---|
59 | arch_invariant: -- no invariant ok
|
---|
60 | | SYM_INVARIANT V_ASSERTION_TEXT
|
---|
61 | | SYM_INVARIANT error
|
---|
62 |
|
---|
63 | arch_ontology: SYM_ONTOLOGY V_DADL_TEXT
|
---|
64 | | SYM_ONTOLOGY error
|
---|
65 |
|
---|