public class BugFixerMain
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
BUG_DESCRIPTIONS |
static java.lang.String |
DESCRIPTION |
static java.lang.String |
REWRITE_RULES |
static java.lang.String |
RULES |
Constructor and Description |
---|
BugFixerMain() |
Modifier and Type | Method and Description |
---|---|
static void |
fixBugs(ModelEditor editor) |
static Language |
getBoundsLanguage() |
static Language |
getBugfixerLanguage() |
static Configuration |
getConfiguration() |
static Language |
getInputLanguage() |
static Language |
getModelEditorLanguage() |
static Language |
getRewriterLanguage() |
static Language |
getRewriteRulesSection() |
public static final java.lang.String REWRITE_RULES
public static final java.lang.String BUG_DESCRIPTIONS
public static final java.lang.String DESCRIPTION
public static final java.lang.String RULES
public static Configuration getConfiguration()
public static Language getBugfixerLanguage()
public static Language getModelEditorLanguage()
public static Language getRewriterLanguage()
public static Language getInputLanguage()
public static Language getBoundsLanguage()
public static Language getRewriteRulesSection()
public static void fixBugs(ModelEditor editor)