| summaryrefslogtreecommitdiff |
path: root/instr-scripts
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-17 15:22:19 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-07-17 15:22:19 +0200 |
| commit | d48380bd87dcef4b095b2a4e578d4461e68df73c (patch) | |
| tree | 0ddbcbdd54d329b5130041d7a5fd25a8c1ca3875 /instr-scripts | |
| parent | 0f0af24525c614ebef7e7f8130ffced38d2da59a (diff) | |
Working on a way to CTL over DAG in Kodkod.
Diffstat (limited to 'instr-scripts')
| -rw-r--r-- | instr-scripts/process_internals.py | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/instr-scripts/process_internals.py b/instr-scripts/process_internals.py index e323300..a58fc5a 100644 --- a/instr-scripts/process_internals.py +++ b/instr-scripts/process_internals.py @@ -128,7 +128,7 @@ class Process_Internals: xml.attrib.get("label") ) self.output.write( - "(set_attribute label " + "(set_function label " + cond_node_id + " " + string_id @@ -145,7 +145,7 @@ class Process_Internals: "IF" ) self.output.write( - "(set_attribute kind " + "(set_function kind " + cond_node_id + " " + string_id @@ -165,7 +165,7 @@ class Process_Internals: #### Depth self.output.write( - "(set_attribute depth " + "(set_function depth " + cond_node_id + " " + str(node_depth + 1) @@ -223,7 +223,7 @@ class Process_Internals: xml.attrib.get("label") ) self.output.write( - "(set_attribute label " + "(set_function label " + node_id + " " + string_id @@ -240,7 +240,7 @@ class Process_Internals: "INSTRUCTION" ) self.output.write( - "(set_attribute kind " + "(set_function kind " + node_id + " " + string_id @@ -260,7 +260,7 @@ class Process_Internals: #### Depth self.output.write( - "(set_attribute depth " + "(set_function depth " + node_id + " " + str(node_depth) @@ -339,7 +339,7 @@ class Process_Internals: xml.attrib.get("label") ) self.output.write( - "(set_attribute label " + "(set_function label " + cond_node_id + " " + string_id @@ -356,7 +356,7 @@ class Process_Internals: "CASE" ) self.output.write( - "(set_attribute kind " + "(set_function kind " + cond_node_id + " " + string_id @@ -376,7 +376,7 @@ class Process_Internals: #### Depth self.output.write( - "(set_attribute depth " + "(set_function depth " + cond_node_id + " " + str(node_depth + 1) @@ -458,7 +458,7 @@ class Process_Internals: "" ) self.output.write( - "(set_attribute label " + "(set_function label " + node_id + " " + string_id @@ -475,7 +475,7 @@ class Process_Internals: "WHEN" ) self.output.write( - "(set_attribute kind " + "(set_function kind " + node_id + " " + string_id @@ -495,7 +495,7 @@ class Process_Internals: #### Depth self.output.write( - "(set_attribute depth " + "(set_function depth " + node_id + " " + str(node_depth) |