FirstOrderLogicModelContext.java

package org.whole.lang.firstorderlogic.builders;

import org.whole.lang.contexts.EntityContext;
import org.whole.lang.model.IEntity;
import org.whole.lang.firstorderlogic.reflect.FirstOrderLogicFeatureDescriptorEnum;

/** 
 * @generator Whole
 */
public class FirstOrderLogicModelContext extends EntityContext {
	public FirstOrderLogicModelContext(IEntity root) {
		super(root);
	}

	public FirstOrderLogicModelContext getName() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.name);
	}

	public void setName(FirstOrderLogicModelContext name) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.name, name);
	}

	public FirstOrderLogicModelContext getImports() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.imports);
	}

	public void setImports(FirstOrderLogicModelContext imports) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.imports, imports);
	}

	public FirstOrderLogicModelContext getDeclarations() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.declarations);
	}

	public void setDeclarations(FirstOrderLogicModelContext declarations) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.declarations, declarations);
	}

	public FirstOrderLogicModelContext getAssertions() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.assertions);
	}

	public void setAssertions(FirstOrderLogicModelContext assertions) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.assertions, assertions);
	}

	public FirstOrderLogicModelContext getLanguage() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.language);
	}

	public void setLanguage(FirstOrderLogicModelContext language) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.language, language);
	}

	public FirstOrderLogicModelContext getAlias() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.alias);
	}

	public void setAlias(FirstOrderLogicModelContext alias) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.alias, alias);
	}

	public FirstOrderLogicModelContext getEntityName() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.entityName);
	}

	public void setEntityName(FirstOrderLogicModelContext entityName) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.entityName, entityName);
	}

	public FirstOrderLogicModelContext getFeaturePath() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.featurePath);
	}

	public void setFeaturePath(FirstOrderLogicModelContext featurePath) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.featurePath, featurePath);
	}

	public FirstOrderLogicModelContext getQualifier() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.qualifier);
	}

	public void setQualifier(FirstOrderLogicModelContext qualifier) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.qualifier, qualifier);
	}

	public FirstOrderLogicModelContext getFeature() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.feature);
	}

	public void setFeature(FirstOrderLogicModelContext feature) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.feature, feature);
	}

	public FirstOrderLogicModelContext getSubSort() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.subSort);
	}

	public void setSubSort(FirstOrderLogicModelContext subSort) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.subSort, subSort);
	}

	public FirstOrderLogicModelContext getSuperSort() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.superSort);
	}

	public void setSuperSort(FirstOrderLogicModelContext superSort) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.superSort, superSort);
	}

	public FirstOrderLogicModelContext getType() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.type);
	}

	public void setType(FirstOrderLogicModelContext type) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.type, type);
	}

	public FirstOrderLogicModelContext getModelBinding() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.modelBinding);
	}

	public void setModelBinding(FirstOrderLogicModelContext modelBinding) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.modelBinding, modelBinding);
	}

	public FirstOrderLogicModelContext getSort() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.sort);
	}

	public void setSort(FirstOrderLogicModelContext sort) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.sort, sort);
	}

	public FirstOrderLogicModelContext getParameters() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.parameters);
	}

	public void setParameters(FirstOrderLogicModelContext parameters) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.parameters, parameters);
	}

	public FirstOrderLogicModelContext getPredicate() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.predicate);
	}

	public void setPredicate(FirstOrderLogicModelContext predicate) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.predicate, predicate);
	}

	public FirstOrderLogicModelContext getStatement() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.statement);
	}

	public void setStatement(FirstOrderLogicModelContext statement) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.statement, statement);
	}

	public FirstOrderLogicModelContext getFunction() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.function);
	}

	public void setFunction(FirstOrderLogicModelContext function) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.function, function);
	}

	public FirstOrderLogicModelContext getTerm() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.term);
	}

	public void setTerm(FirstOrderLogicModelContext term) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.term, term);
	}

	public FirstOrderLogicModelContext getProof() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.proof);
	}

	public void setProof(FirstOrderLogicModelContext proof) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.proof, proof);
	}

	public FirstOrderLogicModelContext getArguments() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.arguments);
	}

	public void setArguments(FirstOrderLogicModelContext arguments) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.arguments, arguments);
	}

	public FirstOrderLogicModelContext getLeftTerm() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.leftTerm);
	}

	public void setLeftTerm(FirstOrderLogicModelContext leftTerm) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.leftTerm, leftTerm);
	}

	public FirstOrderLogicModelContext getRightTerm() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.rightTerm);
	}

	public void setRightTerm(FirstOrderLogicModelContext rightTerm) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.rightTerm, rightTerm);
	}

	public FirstOrderLogicModelContext getAntecedent() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.antecedent);
	}

	public void setAntecedent(FirstOrderLogicModelContext antecedent) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.antecedent, antecedent);
	}

	public FirstOrderLogicModelContext getConsequent() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.consequent);
	}

	public void setConsequent(FirstOrderLogicModelContext consequent) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.consequent, consequent);
	}

	public FirstOrderLogicModelContext getLeftFormula() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.leftFormula);
	}

	public void setLeftFormula(FirstOrderLogicModelContext leftFormula) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.leftFormula, leftFormula);
	}

	public FirstOrderLogicModelContext getRightFormula() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.rightFormula);
	}

	public void setRightFormula(FirstOrderLogicModelContext rightFormula) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.rightFormula, rightFormula);
	}

	public FirstOrderLogicModelContext getFormula() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.formula);
	}

	public void setFormula(FirstOrderLogicModelContext formula) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.formula, formula);
	}

	public FirstOrderLogicModelContext getTheoryAlias() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.theoryAlias);
	}

	public void setTheoryAlias(FirstOrderLogicModelContext theoryAlias) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.theoryAlias, theoryAlias);
	}

	public FirstOrderLogicModelContext getResult() {
		return (FirstOrderLogicModelContext) wGet(FirstOrderLogicFeatureDescriptorEnum.result);
	}

	public void setResult(FirstOrderLogicModelContext result) {
		wSet(FirstOrderLogicFeatureDescriptorEnum.result, result);
	}
}