Java IStateManager类的典型用法和代码示例

本文整理汇总了Java中org.eclipse.gemoc.trace.gemoc.api.IStateManager类的典型用法代码示例。如果您正苦于以下问题：Java IStateManager类的具体用法？Java IStateManager怎么用？Java IStateManager使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。

IStateManager类属于org.eclipse.gemoc.trace.gemoc.api包，在下文中一共展示了IStateManager类的5个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于我们的系统推荐出更棒的Java代码示例。

示例1: constructStateManager

import org.eclipse.gemoc.trace.gemoc.api.IStateManager; //导入依赖的package包/类
@Override
public IStateManager<State<?, ?>> constructStateManager(Resource modelResource,
		Map<TracedObject<?>, EObject> tracedToExe) {
	return new MinitlTraceStateManager(modelResource, tracedToExe);
}

开发者ID:tetrabox，
项目名称:minitl，
代码行数:6，
代码来源:MinitlTraceEngineAddon.java

示例2: constructStateManager

import org.eclipse.gemoc.trace.gemoc.api.IStateManager; //导入依赖的package包/类
@Override
public IStateManager<State<?, ?>> constructStateManager(Resource modelResource, Map<TracedObject<?>, EObject> tracedToExe) {
	return new GenericStateManager(modelResource, tracedToExe);
}

开发者ID:eclipse，
项目名称:gemoc-studio-modeldebugging，
代码行数:5，
代码来源:GenericTraceEngineAddon.java

示例3: GenericTraceExplorer

import org.eclipse.gemoc.trace.gemoc.api.IStateManager; //导入依赖的package包/类
public GenericTraceExplorer(Trace<?,?,?> trace, IStateManager<State<?,?>> stateManager) {
	this.stateManager = stateManager;
	this.trace = trace;
}

开发者ID:eclipse，
项目名称:gemoc-studio-modeldebugging，
代码行数:5，
代码来源:GenericTraceExplorer.java

示例4: loadTrace

import org.eclipse.gemoc.trace.gemoc.api.IStateManager; //导入依赖的package包/类
@Override
public void loadTrace(Trace<Step<?>, TracedObject<?>, State<?,?>> trace, IStateManager<State<?,?>> stateManager) {
	this.stateManager = stateManager;
	this.trace = trace;
}

开发者ID:eclipse，
项目名称:gemoc-studio-modeldebugging，
代码行数:6，
代码来源:GenericTraceExplorer.java

示例5: constructStateManager

import org.eclipse.gemoc.trace.gemoc.api.IStateManager; //导入依赖的package包/类
@Override
public IStateManager<State<?, ?>> constructStateManager(Resource modelResource,
		Map<TracedObject<?>, EObject> tracedToExe) {
	return new FsmTraceStateManager(modelResource, tracedToExe);
}

开发者ID:eclipse，
项目名称:gemoc-studio，
代码行数:6，
代码来源:FsmTraceEngineAddon.java