From 807102aa9a96acc9fb2a1ef0381489d07f70bff0 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 15 Jan 2020 10:37:35 +0100
Subject: [PATCH] add missing inherited equation
---
src/main/jastadd/backend/API.jadd | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/main/jastadd/backend/API.jadd b/src/main/jastadd/backend/API.jadd
index dc7ba52..84db4df 100644
--- a/src/main/jastadd/backend/API.jadd
+++ b/src/main/jastadd/backend/API.jadd
@@ -93,6 +93,7 @@ aspect BackendAPI {
inh boolean RelationComponent.isNavigable();
eq Relation.getLeft().isNavigable() = getDirection().isNavigableLeftToRight();
eq Relation.getRight().isNavigable() = getDirection().isNavigableRightToLeft();
+ eq Program.getChild().isNavigable() = false;
syn boolean Direction.isNavigableRightToLeft() = true;
eq RightDirection.isNavigableRightToLeft() = false;
--
GitLab