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>

Field Summary

Fields inherited from class org.eclipse.xtext.util.formallang.PdaUtil

nfaUtil, UNREACHABLE

Constructor Summary

Constructors

Constructor	Description
ContextMapperPDAUtil()

Method Summary

Modifier and Type	Method	Description
<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)

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ContextMapperPDAUtil

public ContextMapperPDAUtil()

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 class org.eclipse.xtext.util.formallang.PdaUtil