TPTP 4.4.0 Testing Tools Project
Public API Specification

org.eclipse.hyades.test.core.testgen.util
Class TestGenFileUtil

java.lang.Object
  extended byorg.eclipse.hyades.test.core.testgen.util.TestGenFileUtil

public class TestGenFileUtil
extends java.lang.Object

File utility methods used by test generators.


Constructor Summary
TestGenFileUtil()
           
 
Method Summary
static org.eclipse.core.resources.IFile createTraceFile(java.lang.String filepath)
          Deprecated.  
static org.eclipse.core.resources.IFile createTraceModel(java.lang.String recModelPath, java.lang.String recFilePath)
          Creates a simple trace EMF model with a default option set
static org.eclipse.core.resources.IFile getTraceFile(org.eclipse.core.resources.IFile file)
           
static org.eclipse.emf.ecore.EObject[] loadResource(org.eclipse.core.resources.IFile file)
          Loads an EObject[] given an IFile
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TestGenFileUtil

public TestGenFileUtil()
Method Detail

createTraceFile

public static org.eclipse.core.resources.IFile createTraceFile(java.lang.String filepath)
Deprecated.  

Creates a file with the given path. If the path is not of ".rec" extension, it will add ".rec"

Parameters:
filepath -
Returns:

createTraceModel

public static org.eclipse.core.resources.IFile createTraceModel(java.lang.String recModelPath,
                                                                java.lang.String recFilePath)
Creates a simple trace EMF model with a default option set

Parameters:
recModelPath - - a file path, ending in ".recmodel"
recFilePath - - sets the location of the rec model to this. (.rec file)
Returns:

loadResource

public static org.eclipse.emf.ecore.EObject[] loadResource(org.eclipse.core.resources.IFile file)
Loads an EObject[] given an IFile

Parameters:
file -
Returns:

getTraceFile

public static org.eclipse.core.resources.IFile getTraceFile(org.eclipse.core.resources.IFile file)
Parameters:
file -

TPTP 4.4.0 Testing Tools Project
Public API Specification