move cdt decorator to CDTParser (required for multiparse, see #37, #38)

ultimate-pa · Sep 21, 2017 · 6d37739 · 6d37739
1 parent c84a1c9
commit 6d37739
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 3 deletions.
diff --git a/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF b/trunk/source/CACSL2BoogieTranslator/META-INF/MANIFEST.MF
@@ -11,7 +11,8 @@ Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.acsl.parser,
  de.uni_freiburg.informatik.ultimate.lib.util,
  de.uni_freiburg.informatik.ultimate.witnessparser,
- de.uni_freiburg.informatik.ultimate.witnessprinter
+ de.uni_freiburg.informatik.ultimate.witnessprinter,
+ de.uni_freiburg.informatik.ultimate.cdt.parser
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
 Export-Package: de.uni_freiburg.informatik.ultimate.cdt.translation.implementation,

diff --git a/trunk/source/CDTParser/META-INF/MANIFEST.MF b/trunk/source/CDTParser/META-INF/MANIFEST.MF
@@ -5,7 +5,9 @@ Bundle-SymbolicName: de.uni_freiburg.informatik.ultimate.cdt.parser;singleton:=t
 Bundle-Version: 0.1.20
 Require-Bundle: de.uni_freiburg.informatik.ultimate.lib.core,
  de.uni_freiburg.informatik.ultimate.core,
- org.eclipse.cdt.core;bundle-version="5.6.0"
+ org.eclipse.cdt.core;bundle-version="5.6.0",
+ de.uni_freiburg.informatik.ultimate.acsl.parser
 Bundle-ActivationPolicy: lazy
 Bundle-RequiredExecutionEnvironment: JavaSE-1.8
-Export-Package: de.uni_freiburg.informatik.ultimate.cdt.parser
+Export-Package: de.uni_freiburg.informatik.ultimate.cdt.parser,
+ de.uni_freiburg.informatik.ultimate.cdt.decorator
diff --git a/.../ultimate/cdt/decorator/ASTDecorator.java → .../ultimate/cdt/decorator/ASTDecorator.java b/.../ultimate/cdt/decorator/ASTDecorator.java → .../ultimate/cdt/decorator/ASTDecorator.java
diff --git a/.../DecoratorIteratorBreadthFirstSearch.java → .../DecoratorIteratorBreadthFirstSearch.java b/.../DecoratorIteratorBreadthFirstSearch.java → .../DecoratorIteratorBreadthFirstSearch.java
diff --git a/...or/DecoratorIteratorDepthFirstSearch.java → ...or/DecoratorIteratorDepthFirstSearch.java b/...or/DecoratorIteratorDepthFirstSearch.java → ...or/DecoratorIteratorDepthFirstSearch.java
diff --git a/...ultimate/cdt/decorator/DecoratorNode.java → ...ultimate/cdt/decorator/DecoratorNode.java b/...ultimate/cdt/decorator/DecoratorNode.java → ...ultimate/cdt/decorator/DecoratorNode.java