| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 10:29:52 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-19 10:29:52 +0200 |
| commit | 70b40bfb6c032c0dead7069b2178a43e63a8e563 (patch) | |
| tree | fddf894ab2642aad5d6a87b85c00192833c0d64b /data/level/structural_level.data | |
| parent | 1cac6685e5dc334473c304194d5f816b6ecf3469 (diff) | |
First shot at the framework (it does compile).
Diffstat (limited to 'data/level/structural_level.data')
| -rw-r--r-- | data/level/structural_level.data | 112 |
1 files changed, 0 insertions, 112 deletions
diff --git a/data/level/structural_level.data b/data/level/structural_level.data deleted file mode 100644 index 75c4ac9..0000000 --- a/data/level/structural_level.data +++ /dev/null @@ -1,112 +0,0 @@ -;; Structural Level - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; TYPES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -(add_type entity) -(add_type port) -(add_type port_mode) -(add_type generic) -(add_type architecture) -(add_type signal) -(add_type process) -(add_type file) -(add_type component) -(add_type waveform) -(add_type string) -(add_type type) -(add_type type_kind) -(add_type signal_kind) - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;; PREDICATES DECLARATION ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; - -;;;; Entity ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate is_in_file entity file) -(add_predicate has_begin entity) -(add_predicate has_visible_flag entity) -(add_predicate end_has_reserved_id entity) -(add_predicate end_has_identifier entity) -(add_predicate is_simulation_scenario entity) - -;;;; Port ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate is_port_of port entity) -(add_predicate has_disconnect_flag port) -(add_predicate is_of_mode port string) -(add_predicate has_class port) -(add_predicate is_ref port) -(add_predicate has_active_flag port) -(add_predicate has_identifier_list port) -(add_predicate has_visible_flag port) -(add_predicate has_after_drivers_flag port) -(add_predicate has_use_flag port) -(add_predicate has_open_flag port) -(add_predicate has_guarded_signal_flag port) -(add_predicate is_of_kind port string) - -;;;; Generic ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate is_generic_of generic entity) -(add_predicate has_class generic) -(add_predicate is_ref generic) -(add_predicate has_identifier_list generic) -(add_predicate has_visible_flag generic) -(add_predicate has_after_drivers_flag generic) -(add_predicate is_of_type generic type) - -;;;; File ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate is_in_file architecture file) -(add_predicate is_architecture_of architecture entity) -(add_predicate has_foreign_flag architecture) -(add_predicate has_visible_flag architecture) -(add_predicate is_within_flag architecture) -(add_predicate end_has_reserved_id architecture) -(add_predicate end_has_identifier architecture) - -;;;; Signal ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate belongs_to_architecture signal architecture) -(add_predicate has_disconnect_flag signal) -(add_predicate is_ref signal) -(add_predicate has_active_flag signal) -(add_predicate has_identifier_list signal) -(add_predicate has_visible_flag signal) -(add_predicate has_after_drivers signal) -(add_predicate has_use_flag signal) -(add_predicate has_open_flag signal) -(add_predicate has_guarded_flag signal) -(add_predicate is_of_kind signal string) -(add_predicate is_of_type signal type) - -;;;; Process ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate belongs_to_architecture process architecture) -(add_predicate has_seen_flag process) -(add_predicate end_has_postboned process) -(add_predicate has_postboned_flag process) -(add_predicate is_ref process) -(add_predicate has_passive_flag process) -(add_predicate has_visible_flag process) -(add_predicate is_within_flag process) -(add_predicate has_label process) -(add_predicate has_is process) -(add_predicate end_has_reserved_id process) -(add_predicate end_has_identifier process) -(add_predicate is_explicit_process process) - -;;;; Component ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate is_component_of component entity) -(add_predicate belongs_to_architecture component architecture) -(add_predicate port_maps component waveform port) - -;;;; Waveform ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate is_in_sensitivity_list waveform process) -(add_predicate is_accessed_by waveform process) -(add_predicate is_waveform_of waveform signal) -(add_predicate is_waveform_of waveform port) - -;;;; String ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate string_matches string string) - -;;;; Type ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(add_predicate is_approved_type type) -(add_predicate is_of_kind type string) |


