Package org.contextmapper.dsl
Class ContextMapperPDAUtil
- java.lang.Object
-
- org.eclipse.xtext.util.formallang.PdaUtil
-
- org.contextmapper.dsl.ContextMapperPDAUtil
-
public class ContextMapperPDAUtil extends org.eclipse.xtext.util.formallang.PdaUtil
Ugly fix for serialization problem: https://www.eclipse.org/forums/index.php/t/1080047/ https://bugs.eclipse.org/bugs/show_bug.cgi?id=369175 Otherwise our refactorings produce CML's which cannot be parsed :( Problem: Order of the root elements (ContextMap, BoundedContext, Domain, UseCases).
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class org.eclipse.xtext.util.formallang.PdaUtil
org.eclipse.xtext.util.formallang.PdaUtil.CyclicStackItem<T extends java.lang.Object>, org.eclipse.xtext.util.formallang.PdaUtil.CyclicStackTraverser<S extends java.lang.Object,P extends java.lang.Object>, org.eclipse.xtext.util.formallang.PdaUtil.HashStack<T extends java.lang.Object>, org.eclipse.xtext.util.formallang.PdaUtil.Identity<T extends java.lang.Object>, org.eclipse.xtext.util.formallang.PdaUtil.IsPop<S extends java.lang.Object,P extends java.lang.Object>, org.eclipse.xtext.util.formallang.PdaUtil.StackItem<T extends java.lang.Object>, org.eclipse.xtext.util.formallang.PdaUtil.TraceItem<S extends java.lang.Object,P extends java.lang.Object>, org.eclipse.xtext.util.formallang.PdaUtil.TraversalItem<S extends java.lang.Object,R extends java.lang.Object>
-
-
Constructor Summary
Constructors Constructor Description ContextMapperPDAUtil()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description <S,P,E,T,D extends org.eclipse.xtext.util.formallang.Pda<S,P>>
Dcreate(org.eclipse.xtext.util.formallang.Cfg<E,T> cfg, org.eclipse.xtext.util.formallang.FollowerFunction<E> ff, org.eclipse.xtext.util.formallang.PdaFactory<D,S,P,? super E> fact)
-
Methods inherited from class org.eclipse.xtext.util.formallang.PdaUtil
canReach, clone, collectPopsAndPushs, collectReachable, create, create, createStack, distanceTo, expand, filter, filterEdges, filterEdges, filterOrphans, filterUnambiguousPaths, filterUnambiguousPaths, mapPopAndPush, newItem, shortestPathTo, shortestPathTo, shortestPathTo, shortestPathTo, shortestPathTo, shortestPathToFinalState, shortestStackpruningPathTo, shortestStackpruningPathTo, shortestStackpruningPathTo, shortestStackpruningPathTo, trace, traceToWithPruningStack
-
-
-
-
Method Detail
-
create
public <S,P,E,T,D extends org.eclipse.xtext.util.formallang.Pda<S,P>> D create(org.eclipse.xtext.util.formallang.Cfg<E,T> cfg, org.eclipse.xtext.util.formallang.FollowerFunction<E> ff, org.eclipse.xtext.util.formallang.PdaFactory<D,S,P,? super E> fact)
- Overrides:
create
in classorg.eclipse.xtext.util.formallang.PdaUtil
-
-