From 2184c8027af6b5f3b86e6316cf18ab2f6161d339 Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Tue, 17 Dec 2019 13:34:01 +0100 Subject: [PATCH] move ast to relast extract helper class --- reusablecfg/build.gradle | 4 +- .../src/main/jastadd/{CFG.ast => CFG.relast} | 0 reusablecfg/src/main/jastadd/SimpleCFG.jrag | 100 ------------------ 3 files changed, 2 insertions(+), 102 deletions(-) rename reusablecfg/src/main/jastadd/{CFG.ast => CFG.relast} (100%) diff --git a/reusablecfg/build.gradle b/reusablecfg/build.gradle index c21bee8..4f876c9 100644 --- a/reusablecfg/build.gradle +++ b/reusablecfg/build.gradle @@ -129,7 +129,7 @@ task preprocess(type: JavaExec) { args = [ "../tools/relast.jar", - "src/main/jastadd/CFG.ast", + "src/main/jastadd/CFG.relast", "src/main/jastadd/ClassPathFilter.ast", "../extendj/java8/grammar/ConstructorReference.ast", "../extendj/java8/grammar/IntersectionCasts.ast", @@ -163,7 +163,7 @@ task preprocess(type: JavaExec) { ] inputs.files file("../extendj/java8/grammar/ConstructorReference.ast"), - file("src/main/jastadd/CFG.ast"), + file("src/main/jastadd/CFG.relast"), file("src/main/jastadd/ClassPathFilter.ast"), file("../extendj/java8/grammar/IntersectionCasts.ast"), file("../extendj/java8/grammar/Lambda.ast"), diff --git a/reusablecfg/src/main/jastadd/CFG.ast b/reusablecfg/src/main/jastadd/CFG.relast similarity index 100% rename from reusablecfg/src/main/jastadd/CFG.ast rename to reusablecfg/src/main/jastadd/CFG.relast diff --git a/reusablecfg/src/main/jastadd/SimpleCFG.jrag b/reusablecfg/src/main/jastadd/SimpleCFG.jrag index 162622b..bd39ef7 100644 --- a/reusablecfg/src/main/jastadd/SimpleCFG.jrag +++ b/reusablecfg/src/main/jastadd/SimpleCFG.jrag @@ -59,106 +59,6 @@ aspect SimpleCFG { eq CfgMarker.successors() = succ(); - /** - * Set that contains either one or two unique objects. The objects are - * compared with reference equality. - */ - class IdentityTupleSet<E> implements Set<E> { - final E a, b; - - public IdentityTupleSet(E a, E b) { - this.a = a; - this.b = b; - } - - @Override - public boolean add(E e) { - throw new UnsupportedOperationException(); - } - @Override - public boolean addAll(Collection<? extends E> e) { - throw new UnsupportedOperationException(); - } - @Override - public void clear() { - throw new UnsupportedOperationException(); - } - @Override - public boolean contains(Object o) { - return o == a || o == b; - } - @Override - public boolean containsAll(Collection<?> c) { - for (Object o : c) { - if (!contains(o)) { - return false; - } - } - return true; - } - @Override - public int hashCode() { - return a.hashCode() + b.hashCode(); - } - @Override - public boolean isEmpty() { - return false; - } - @Override - public Iterator<E> iterator() { - return new Iterator<E>() { - int index = 0; - @Override - public boolean hasNext() { - return (a == b && index < 1) - || (a != b && index < 2); - } - @Override - public E next() { - return ++index == 1 ? a : b; - } - @Override - public void remove() { - throw new UnsupportedOperationException(); - } - }; - } - @Override - public boolean remove(Object o) { - throw new UnsupportedOperationException(); - } - @Override - public boolean removeAll(Collection<?> c) { - throw new UnsupportedOperationException(); - } - @Override - public boolean retainAll(Collection<?> c) { - throw new UnsupportedOperationException(); - } - @Override - public int size() { - return a == b ? 1 : 2; - } - @Override - public Object[] toArray() { - return new Object[] { a, b }; - } - @Override - public <T> T[] toArray(T[] array) { - array[0] = (T) a; - array[1] = (T) b; - return array; - } - @Override - public String toString() { - if (a == b) { - return "[" + a + "]"; - } else { - return "[" + a + ", " + b + "]"; - } - } - } - /** Successors to this branch node. */ inh Set<? extends CfgNode> CfgBranch.succ(); -- GitLab