From 2f9de07e661092674815aa5cd99c63bb580fff67 Mon Sep 17 00:00:00 2001 From: Bodmo Date: Thu, 30 Nov 2023 16:21:20 +0100 Subject: [PATCH] Prox: beliebige Reihenfolge der Optionen: OK. Change-Id: I256a0bd3d1629d1758f304726374298dfde0037d --- src/main/antlr/cosmas/c2ps_opPROX.g | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/antlr/cosmas/c2ps_opPROX.g b/src/main/antlr/cosmas/c2ps_opPROX.g index 3c23cf1b..5d1ba5a7 100644 --- a/src/main/antlr/cosmas/c2ps_opPROX.g +++ b/src/main/antlr/cosmas/c2ps_opPROX.g @@ -57,7 +57,7 @@ proxDist: proxDirection (v1=proxDistValue m1=proxMeasure | m2=proxMeasure v2=pro // but how to handle multiple values for those options? // 28.11.23/FB -proxDist: (m+=proxMeasure|d=proxDirection|v=proxDistValue)+ +proxDist: (m=proxMeasure|d=proxDirection|v=proxDistValue)+ -> {c2ps_opPROX.encodeDIST(DIST, DIR, $d.tree, $m.tree, $v.tree, $proxDist.text)};