org.eclipse.ocl.examples.impactanalyzer.instanceScope.debug
Class NavigationStepDebugHelper

java.lang.Object
  org.eclipse.ocl.examples.impactanalyzer.instanceScope.debug.NavigationStepDebugHelper

public class NavigationStepDebugHelper
extends java.lang.Object

The NavigationStepDebugHelper provides additional functionalities, which can be used to debug NavigationStep structures.

Author:

Manuel Holzleitner (d049667)

Constructor Summary

NavigationStepDebugHelper()

Method Summary

static void	printGraphFile(NavigationStep step, java.lang.String path)
static void	setNavigationStepDebugHelperExtension(NavigationStepDebugHelperExtension ext)

Methods inherited from class java.lang.Object

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

Constructor Detail

NavigationStepDebugHelper

public NavigationStepDebugHelper()

Method Detail

setNavigationStepDebugHelperExtension

public static void setNavigationStepDebugHelperExtension(NavigationStepDebugHelperExtension ext)

printGraphFile

public static void printGraphFile(NavigationStep step,
                                  java.lang.String path)