public class HenshinTransformationFileProvider
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
SPLIT_AGGREGATE_BY_ENTITIES |
static java.lang.String |
SPLIT_AGGREGATE_BY_ENTITIES_IN_MODULE |
static java.lang.String |
SPLIT_BC_BY_DUPLICATE_ENTITY_NAME |
Constructor and Description |
---|
HenshinTransformationFileProvider() |
Modifier and Type | Method and Description |
---|---|
java.io.File |
getHenshinDirectory() |
long |
getPID() |
java.lang.String |
getTransformationFilePath(java.lang.String transformationFileName) |
void |
prepareAllHenshinFiles() |
public static final java.lang.String SPLIT_BC_BY_DUPLICATE_ENTITY_NAME
public static final java.lang.String SPLIT_AGGREGATE_BY_ENTITIES
public static final java.lang.String SPLIT_AGGREGATE_BY_ENTITIES_IN_MODULE