From 0ccc7f57bee2867f05a2926a305977003dd15d1b Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Wed, 19 Jul 2017 10:58:26 +0200 Subject: Adds messages to follow the framework's flow. --- instr-to-kodkod/parser/PropertyParser.g4 | 22 ++++++++++++++++++++-- 1 file changed, 20 insertions(+), 2 deletions(-) (limited to 'instr-to-kodkod/parser/PropertyParser.g4') diff --git a/instr-to-kodkod/parser/PropertyParser.g4 b/instr-to-kodkod/parser/PropertyParser.g4 index 5e1ed11..0bcb6a9 100644 --- a/instr-to-kodkod/parser/PropertyParser.g4 +++ b/instr-to-kodkod/parser/PropertyParser.g4 @@ -132,7 +132,14 @@ sl_predicate { /* TODO */ - $result = null; + $result = + Expression.product + ( + ($id_list.list) + ).in + ( + Main.get_model().get_predicate_as_relation(($ID.text)) + ); } ; @@ -357,7 +364,18 @@ bl_predicate [Variable current_node] { /* TODO */ - $result = null; + $result = + current_node.product + ( + Expression.product + ( + ($id_list.list) + ) + ).in + ( + Main.get_model().get_predicate_as_relation(($ID.text)) + ); + } ; -- cgit v1.2.3-70-g09d2