/**
* generated by Xtext 2.21.0
*/
package hu.bme.mit.inf.dslreasoner.application.applicationConfiguration;
/**
*
* A representation of the model object 'Generation Task'.
*
*
*
* The following features are supported:
*
*
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getMetamodel Metamodel}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPartialModel Partial Model}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPatterns Patterns}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getObjectives Objectives}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getScope Scope}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified Number Specified}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber Number}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified Run Specified}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns Runs}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getSolver Solver}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getConfig Config}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder Debug Folder}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetLogFile Target Log File}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetStatisticsFile Target Statistics File}
* - {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}
*
*
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask()
* @model
* @generated
*/
public interface GenerationTask extends Task
{
/**
* Returns the value of the 'Metamodel' containment reference.
*
*
* @return the value of the 'Metamodel' containment reference.
* @see #setMetamodel(Metamodel)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Metamodel()
* @model containment="true"
* @generated
*/
Metamodel getMetamodel();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getMetamodel Metamodel}' containment reference.
*
*
* @param value the new value of the 'Metamodel' containment reference.
* @see #getMetamodel()
* @generated
*/
void setMetamodel(Metamodel value);
/**
* Returns the value of the 'Partial Model' containment reference.
*
*
* @return the value of the 'Partial Model' containment reference.
* @see #setPartialModel(PartialModel)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_PartialModel()
* @model containment="true"
* @generated
*/
PartialModel getPartialModel();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPartialModel Partial Model}' containment reference.
*
*
* @param value the new value of the 'Partial Model' containment reference.
* @see #getPartialModel()
* @generated
*/
void setPartialModel(PartialModel value);
/**
* Returns the value of the 'Patterns' containment reference.
*
*
* @return the value of the 'Patterns' containment reference.
* @see #setPatterns(GraphPattern)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Patterns()
* @model containment="true"
* @generated
*/
GraphPattern getPatterns();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getPatterns Patterns}' containment reference.
*
*
* @param value the new value of the 'Patterns' containment reference.
* @see #getPatterns()
* @generated
*/
void setPatterns(GraphPattern value);
/**
* Returns the value of the 'Objectives' containment reference.
*
*
* @return the value of the 'Objectives' containment reference.
* @see #setObjectives(Objective)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Objectives()
* @model containment="true"
* @generated
*/
Objective getObjectives();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getObjectives Objectives}' containment reference.
*
*
* @param value the new value of the 'Objectives' containment reference.
* @see #getObjectives()
* @generated
*/
void setObjectives(Objective value);
/**
* Returns the value of the 'Scope' containment reference.
*
*
* @return the value of the 'Scope' containment reference.
* @see #setScope(Scope)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Scope()
* @model containment="true"
* @generated
*/
Scope getScope();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getScope Scope}' containment reference.
*
*
* @param value the new value of the 'Scope' containment reference.
* @see #getScope()
* @generated
*/
void setScope(Scope value);
/**
* Returns the value of the 'Number Specified' attribute.
*
*
* @return the value of the 'Number Specified' attribute.
* @see #setNumberSpecified(boolean)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_NumberSpecified()
* @model
* @generated
*/
boolean isNumberSpecified();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isNumberSpecified Number Specified}' attribute.
*
*
* @param value the new value of the 'Number Specified' attribute.
* @see #isNumberSpecified()
* @generated
*/
void setNumberSpecified(boolean value);
/**
* Returns the value of the 'Number' attribute.
*
*
* @return the value of the 'Number' attribute.
* @see #setNumber(int)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Number()
* @model
* @generated
*/
int getNumber();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getNumber Number}' attribute.
*
*
* @param value the new value of the 'Number' attribute.
* @see #getNumber()
* @generated
*/
void setNumber(int value);
/**
* Returns the value of the 'Run Specified' attribute.
*
*
* @return the value of the 'Run Specified' attribute.
* @see #setRunSpecified(boolean)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_RunSpecified()
* @model
* @generated
*/
boolean isRunSpecified();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#isRunSpecified Run Specified}' attribute.
*
*
* @param value the new value of the 'Run Specified' attribute.
* @see #isRunSpecified()
* @generated
*/
void setRunSpecified(boolean value);
/**
* Returns the value of the 'Runs' attribute.
*
*
* @return the value of the 'Runs' attribute.
* @see #setRuns(int)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Runs()
* @model
* @generated
*/
int getRuns();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getRuns Runs}' attribute.
*
*
* @param value the new value of the 'Runs' attribute.
* @see #getRuns()
* @generated
*/
void setRuns(int value);
/**
* Returns the value of the 'Solver' attribute.
* The literals are from the enumeration {@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver}.
*
*
* @return the value of the 'Solver' attribute.
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver
* @see #setSolver(Solver)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Solver()
* @model
* @generated
*/
Solver getSolver();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getSolver Solver}' attribute.
*
*
* @param value the new value of the 'Solver' attribute.
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.Solver
* @see #getSolver()
* @generated
*/
void setSolver(Solver value);
/**
* Returns the value of the 'Config' containment reference.
*
*
* @return the value of the 'Config' containment reference.
* @see #setConfig(Config)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_Config()
* @model containment="true"
* @generated
*/
Config getConfig();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getConfig Config}' containment reference.
*
*
* @param value the new value of the 'Config' containment reference.
* @see #getConfig()
* @generated
*/
void setConfig(Config value);
/**
* Returns the value of the 'Debug Folder' containment reference.
*
*
* @return the value of the 'Debug Folder' containment reference.
* @see #setDebugFolder(File)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_DebugFolder()
* @model containment="true"
* @generated
*/
File getDebugFolder();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getDebugFolder Debug Folder}' containment reference.
*
*
* @param value the new value of the 'Debug Folder' containment reference.
* @see #getDebugFolder()
* @generated
*/
void setDebugFolder(File value);
/**
* Returns the value of the 'Target Log File' containment reference.
*
*
* @return the value of the 'Target Log File' containment reference.
* @see #setTargetLogFile(File)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TargetLogFile()
* @model containment="true"
* @generated
*/
File getTargetLogFile();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetLogFile Target Log File}' containment reference.
*
*
* @param value the new value of the 'Target Log File' containment reference.
* @see #getTargetLogFile()
* @generated
*/
void setTargetLogFile(File value);
/**
* Returns the value of the 'Target Statistics File' containment reference.
*
*
* @return the value of the 'Target Statistics File' containment reference.
* @see #setTargetStatisticsFile(File)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TargetStatisticsFile()
* @model containment="true"
* @generated
*/
File getTargetStatisticsFile();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTargetStatisticsFile Target Statistics File}' containment reference.
*
*
* @param value the new value of the 'Target Statistics File' containment reference.
* @see #getTargetStatisticsFile()
* @generated
*/
void setTargetStatisticsFile(File value);
/**
* Returns the value of the 'Taget Folder' containment reference.
*
*
* @return the value of the 'Taget Folder' containment reference.
* @see #setTagetFolder(File)
* @see hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.ApplicationConfigurationPackage#getGenerationTask_TagetFolder()
* @model containment="true"
* @generated
*/
File getTagetFolder();
/**
* Sets the value of the '{@link hu.bme.mit.inf.dslreasoner.application.applicationConfiguration.GenerationTask#getTagetFolder Taget Folder}' containment reference.
*
*
* @param value the new value of the 'Taget Folder' containment reference.
* @see #getTagetFolder()
* @generated
*/
void setTagetFolder(File value);
} // GenerationTask