Commit 9a810f3c authored by Johannes Eder's avatar Johannes Eder

initial commit

parent 1a95ebc7
<?xml version="1.0" encoding="UTF-8"?>
<classpath>
<classpathentry kind="src" path="generated-src"/>
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
<classpathentry kind="src" path="src"/>
<classpathentry kind="output" path="build"/>
</classpath>
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>org.fortiss.af3.exploration.smt</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.fortiss.ide.dev_tools.emf.builder.EcoreBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.jdt.core.javabuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.ManifestBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.pde.SchemaBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.fortiss.ide.dev_tools.warnings.RemoveWarningsBuilder</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.fortiss.ide.dev_tools.warnings.GuidelinesChecker</name>
<arguments>
</arguments>
</buildCommand>
<buildCommand>
<name>org.eclipse.m2e.core.maven2Builder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.eclipse.pde.PluginNature</nature>
<nature>org.eclipse.jdt.core.javanature</nature>
</natures>
</projectDescription>
Manifest-Version: 1.0
Bundle-ManifestVersion: 2
Bundle-Name: Exploration SMT
Bundle-SymbolicName: org.fortiss.af3.exploration.smt;singleton:=true
Bundle-Version: 2.9.0.qualifier
Bundle-ClassPath: .
Bundle-Vendor: fortiss GmbH
Bundle-Localization: plugin
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
Bundle-ActivationPolicy: lazy
Bundle-Activator: org.fortiss.af3.exploration.smt.AF3ExplorationSMTActivator
Require-Bundle: org.fortiss.af3.exploration;bundle-version="2.9.0"
<?xml version="1.0" encoding="UTF-8"?>
<cspecExtension
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xmlns:bc="http://www.eclipse.org/buckminster/Common-1.0"
xmlns="http://www.eclipse.org/buckminster/CSpec-1.0">
<actions>
<!-- Place your Actions here -->
<public name="generate-ecore" actor="jdt.ant" always="true">
<actorProperties>
<property key="buildFile" value="model/generate-ecore.xml" />
<property key="targets" value="generate-ecore"/>
</actorProperties>
<products>
<path path="generated-src" />
</products>
</public>
</actions>
<alterGroups>
<!-- Place your Group alterations here -->
<public name="eclipse.build.source">
<attribute name="generate-ecore"/>
</public>
</alterGroups>
</cspecExtension>
# <copyright>
# </copyright>
#
# $Id: build.properties 417 2011-03-10 15:01:32Z hoelzl $
bin.includes = .,\
model/,\
META-INF/,\
plugin.xml,\
plugin.properties
source.. = src/,\
generated-src/
output.. = build/
/**
*/
package org.fortiss.af3.exploration.smt.model;
import org.eclipse.emf.ecore.EFactory;
/**
* <!-- begin-user-doc -->
* The <b>Factory</b> for the model.
* It provides a create method for each non-abstract class of the model.
* <!-- end-user-doc -->
* @see org.fortiss.af3.exploration.smt.model.AF3ExplorationSMTPackage
* @generated
*/
public interface AF3ExplorationSMTFactory extends EFactory {
/**
* The singleton instance of the factory.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
AF3ExplorationSMTFactory eINSTANCE = org.fortiss.af3.exploration.smt.model.impl.AF3ExplorationSMTFactoryImpl.init();
/**
* Returns a new object of class '<em>SMT Constraint</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>SMT Constraint</em>'.
* @generated
*/
SMTConstraint createSMTConstraint();
/**
* Returns a new object of class '<em>SMT Objective</em>'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return a new object of class '<em>SMT Objective</em>'.
* @generated
*/
SMTObjective createSMTObjective();
/**
* Returns the package supported by this factory.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return the package supported by this factory.
* @generated
*/
AF3ExplorationSMTPackage getAF3ExplorationSMTPackage();
} //AF3ExplorationSMTFactory
/**
*/
package org.fortiss.af3.exploration.smt.model;
import org.eclipse.emf.ecore.EClass;
import org.eclipse.emf.ecore.EPackage;
import org.fortiss.af3.exploration.model.ExplorationPackage;
/**
* <!-- begin-user-doc -->
* The <b>Package</b> for the model.
* It contains accessors for the meta objects to represent
* <ul>
* <li>each class,</li>
* <li>each feature of each class,</li>
* <li>each enum,</li>
* <li>and each data type</li>
* </ul>
* <!-- end-user-doc -->
* @see org.fortiss.af3.exploration.smt.model.AF3ExplorationSMTFactory
* @model kind="package"
* @generated
*/
public interface AF3ExplorationSMTPackage extends EPackage {
/**
* The package name.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
String eNAME = "model";
/**
* The package namespace URI.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
String eNS_URI = "http://www.fortiss.org/af3/exploration/smt";
/**
* The package namespace name.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
String eNS_PREFIX = "org-fortiss-af3-exploration-smt";
/**
* The singleton instance of the package.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
AF3ExplorationSMTPackage eINSTANCE = org.fortiss.af3.exploration.smt.model.impl.AF3ExplorationSMTPackageImpl.init();
/**
* The meta object id for the '{@link org.fortiss.af3.exploration.smt.model.impl.SMTConstraintImpl <em>SMT Constraint</em>}' class.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see org.fortiss.af3.exploration.smt.model.impl.SMTConstraintImpl
* @see org.fortiss.af3.exploration.smt.model.impl.AF3ExplorationSMTPackageImpl#getSMTConstraint()
* @generated
*/
int SMT_CONSTRAINT = 0;
/**
* The feature id for the '<em><b>Id</b></em>' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_CONSTRAINT__ID = ExplorationPackage.CONSTRAINT_EXPRESSION__ID;
/**
* The feature id for the '<em><b>Name</b></em>' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_CONSTRAINT__NAME = ExplorationPackage.CONSTRAINT_EXPRESSION__NAME;
/**
* The feature id for the '<em><b>Comment</b></em>' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_CONSTRAINT__COMMENT = ExplorationPackage.CONSTRAINT_EXPRESSION__COMMENT;
/**
* The feature id for the '<em><b>Is Soft</b></em>' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_CONSTRAINT__IS_SOFT = ExplorationPackage.CONSTRAINT_EXPRESSION__IS_SOFT;
/**
* The feature id for the '<em><b>Implicit</b></em>' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_CONSTRAINT__IMPLICIT = ExplorationPackage.CONSTRAINT_EXPRESSION__IMPLICIT;
/**
* The feature id for the '<em><b>Expression</b></em>' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_CONSTRAINT__EXPRESSION = ExplorationPackage.CONSTRAINT_EXPRESSION__EXPRESSION;
/**
* The number of structural features of the '<em>SMT Constraint</em>' class.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_CONSTRAINT_FEATURE_COUNT = ExplorationPackage.CONSTRAINT_EXPRESSION_FEATURE_COUNT + 0;
/**
* The meta object id for the '{@link org.fortiss.af3.exploration.smt.model.impl.SMTObjectiveImpl <em>SMT Objective</em>}' class.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see org.fortiss.af3.exploration.smt.model.impl.SMTObjectiveImpl
* @see org.fortiss.af3.exploration.smt.model.impl.AF3ExplorationSMTPackageImpl#getSMTObjective()
* @generated
*/
int SMT_OBJECTIVE = 1;
/**
* The feature id for the '<em><b>Id</b></em>' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_OBJECTIVE__ID = ExplorationPackage.OBJECTIVE_EXPRESSION__ID;
/**
* The feature id for the '<em><b>Name</b></em>' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_OBJECTIVE__NAME = ExplorationPackage.OBJECTIVE_EXPRESSION__NAME;
/**
* The feature id for the '<em><b>Comment</b></em>' attribute.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_OBJECTIVE__COMMENT = ExplorationPackage.OBJECTIVE_EXPRESSION__COMMENT;
/**
* The feature id for the '<em><b>Expression</b></em>' containment reference.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_OBJECTIVE__EXPRESSION = ExplorationPackage.OBJECTIVE_EXPRESSION__EXPRESSION;
/**
* The number of structural features of the '<em>SMT Objective</em>' class.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
* @ordered
*/
int SMT_OBJECTIVE_FEATURE_COUNT = ExplorationPackage.OBJECTIVE_EXPRESSION_FEATURE_COUNT + 0;
/**
* Returns the meta object for class '{@link org.fortiss.af3.exploration.smt.model.SMTConstraint <em>SMT Constraint</em>}'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return the meta object for class '<em>SMT Constraint</em>'.
* @see org.fortiss.af3.exploration.smt.model.SMTConstraint
* @generated
*/
EClass getSMTConstraint();
/**
* Returns the meta object for class '{@link org.fortiss.af3.exploration.smt.model.SMTObjective <em>SMT Objective</em>}'.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return the meta object for class '<em>SMT Objective</em>'.
* @see org.fortiss.af3.exploration.smt.model.SMTObjective
* @generated
*/
EClass getSMTObjective();
/**
* Returns the factory that creates the instances of the model.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @return the factory that creates the instances of the model.
* @generated
*/
AF3ExplorationSMTFactory getAF3ExplorationSMTFactory();
/**
* <!-- begin-user-doc -->
* Defines literals for the meta objects that represent
* <ul>
* <li>each class,</li>
* <li>each feature of each class,</li>
* <li>each enum,</li>
* <li>and each data type</li>
* </ul>
* <!-- end-user-doc -->
* @generated
*/
interface Literals {
/**
* The meta object literal for the '{@link org.fortiss.af3.exploration.smt.model.impl.SMTConstraintImpl <em>SMT Constraint</em>}' class.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see org.fortiss.af3.exploration.smt.model.impl.SMTConstraintImpl
* @see org.fortiss.af3.exploration.smt.model.impl.AF3ExplorationSMTPackageImpl#getSMTConstraint()
* @generated
*/
EClass SMT_CONSTRAINT = eINSTANCE.getSMTConstraint();
/**
* The meta object literal for the '{@link org.fortiss.af3.exploration.smt.model.impl.SMTObjectiveImpl <em>SMT Objective</em>}' class.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @see org.fortiss.af3.exploration.smt.model.impl.SMTObjectiveImpl
* @see org.fortiss.af3.exploration.smt.model.impl.AF3ExplorationSMTPackageImpl#getSMTObjective()
* @generated
*/
EClass SMT_OBJECTIVE = eINSTANCE.getSMTObjective();
}
} //AF3ExplorationSMTPackage
/**
*/
package org.fortiss.af3.exploration.smt.model;
import org.fortiss.af3.exploration.model.ConstraintExpression;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>SMT Constraint</b></em>'.
* <!-- end-user-doc -->
*
*
* @see org.fortiss.af3.exploration.smt.model.AF3ExplorationSMTPackage#getSMTConstraint()
* @model superTypes="org.fortiss.af3.exploration.model.ConstraintExpression<org.eclipse.emf.ecore.EBooleanObject>"
* @generated
*/
public interface SMTConstraint extends ConstraintExpression<Boolean> {
} // SMTConstraint
/**
*/
package org.fortiss.af3.exploration.smt.model;
import org.fortiss.af3.exploration.model.ObjectiveExpression;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>SMT Objective</b></em>'.
* <!-- end-user-doc -->
*
*
* @see org.fortiss.af3.exploration.smt.model.AF3ExplorationSMTPackage#getSMTObjective()
* @model superTypes="org.fortiss.af3.exploration.model.ObjectiveExpression<org.eclipse.emf.ecore.EBooleanObject>"
* @generated
*/
public interface SMTObjective extends ObjectiveExpression<Boolean> {
} // SMTObjective
/**
*/
package org.fortiss.af3.exploration.smt.model.impl;
import org.eclipse.emf.ecore.EClass;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.emf.ecore.impl.EFactoryImpl;
import org.eclipse.emf.ecore.plugin.EcorePlugin;
import org.fortiss.af3.exploration.smt.model.*;
/**
* <!-- begin-user-doc -->
* An implementation of the model <b>Factory</b>.
* <!-- end-user-doc -->
* @generated
*/
public class AF3ExplorationSMTFactoryImpl extends EFactoryImpl implements AF3ExplorationSMTFactory {
/**
* Creates the default factory implementation.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public static AF3ExplorationSMTFactory init() {
try {
AF3ExplorationSMTFactory theAF3ExplorationSMTFactory = (AF3ExplorationSMTFactory)EPackage.Registry.INSTANCE.getEFactory(AF3ExplorationSMTPackage.eNS_URI);
if (theAF3ExplorationSMTFactory != null) {
return theAF3ExplorationSMTFactory;
}
}
catch (Exception exception) {
EcorePlugin.INSTANCE.log(exception);
}
return new AF3ExplorationSMTFactoryImpl();
}
/**
* Creates an instance of the factory.
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public AF3ExplorationSMTFactoryImpl() {
super();
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
@Override
public EObject create(EClass eClass) {
switch (eClass.getClassifierID()) {
case AF3ExplorationSMTPackage.SMT_CONSTRAINT: return createSMTConstraint();
case AF3ExplorationSMTPackage.SMT_OBJECTIVE: return createSMTObjective();
default:
throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
}
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public SMTConstraint createSMTConstraint() {
SMTConstraintImpl smtConstraint = new SMTConstraintImpl();
return smtConstraint;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public SMTObjective createSMTObjective() {
SMTObjectiveImpl smtObjective = new SMTObjectiveImpl();
return smtObjective;
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public AF3ExplorationSMTPackage getAF3ExplorationSMTPackage() {
return (AF3ExplorationSMTPackage)getEPackage();
}
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @deprecated
* @generated
*/
@Deprecated
public static AF3ExplorationSMTPackage getPackage() {
return AF3ExplorationSMTPackage.eINSTANCE;
}
} //AF3ExplorationSMTFactoryImpl
/**
*/
package org.fortiss.af3.exploration.smt.model.impl;
import org.eclipse.emf.ecore.EClass;
import org.eclipse.emf.ecore.EGenericType;
import org.eclipse.emf.ecore.EPackage;
import org.eclipse.emf.ecore.impl.EPackageImpl;
import org.fortiss.af3.exploration.model.ExplorationPackage;
import org.fortiss.af3.exploration.smt.model.AF3ExplorationSMTFactory;
import org.fortiss.af3.exploration.smt.model.AF3ExplorationSMTPackage;
import org.fortiss.af3.exploration.smt.model.SMTConstraint;
import org.fortiss.af3.exploration.smt.model.SMTObjective;
/**
* <!-- begin-user-doc -->
* An implementation of the model <b>Package</b>.
* <!-- end-user-doc -->
* @generated
*/
public class AF3ExplorationSMTPackageImpl extends EPackageImpl implements AF3ExplorationSMTPackage {
/**
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/