/** * Copyright 2004-2016 Riccardo Solmi. All rights reserved. * This file is part of the Whole Platform. * * The Whole Platform is free software: you can redistribute it and/or modify * it under the terms of the GNU Lesser General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * The Whole Platform is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License * along with the Whole Platform. If not, see <http://www.gnu.org/licenses/>. */ package org.whole.lang.semantics.builders; import org.whole.lang.builders.IBuilder; import org.whole.lang.semantics.model.LegacyTypeEnum; import org.whole.lang.semantics.model.BindingOpEnum; import org.whole.lang.semantics.model.StageChangeEnum; /** * @generator Whole */ public interface ISemanticsBuilder extends IBuilder { public void visit(); public void sup(); public void sub(); public void where(); public void stage(); public void environments(); public void arguments(); public void type(); public void environment(); public void expression(); public void op(); public void nestedScope(); public void bindings(); public void oldIdentifier(); public void newIdentifier(); public void identifier(); public void time(); public void index(); public void variable(); public void targetConfiguration(); public void sourceConfiguration(); public void conclusion(); public void premises(); public void meaning(); public void condition(); public void category(); public void target(); public void source(); public void rules(); public void signature(); public void functions(); public void version(); public void name(); public void namespace(); public void uri(); public void SemanticTheory(); public void SemanticTheory_(); public void _SemanticTheory(); public void SemanticFunctions(); public void SemanticFunctions_(); public void SemanticFunctions_(int initialCapacity); public void _SemanticFunctions(); public void SemanticFunction(); public void SemanticFunction_(); public void _SemanticFunction(); public void Rules(); public void Rules_(); public void Rules_(int initialCapacity); public void _Rules(); public void InferenceRules(); public void InferenceRules_(); public void InferenceRules_(int initialCapacity); public void _InferenceRules(); public void AnyType(); public void AnyType_(); public void _AnyType(); public void LanguageType(); public void LanguageType(String value); public void EnvType(); public void EnvType_(); public void _EnvType(); public void EntityType(); public void EntityType(String value); public void EnvironmentType(); public void EnvironmentType(String value); public void LegacyType(); public void LegacyType(LegacyTypeEnum.Value value); public void LegacyType(String value); public void UnionType(); public void UnionType_(); public void UnionType_(int initialCapacity); public void _UnionType(); public void FunctionType(); public void FunctionType_(); public void _FunctionType(); public void SequenceType(); public void SequenceType_(); public void _SequenceType(); public void SubtypeType(); public void SubtypeType_(); public void _SubtypeType(); public void SupertypeType(); public void SupertypeType_(); public void _SupertypeType(); public void ProductType(); public void ProductType_(); public void ProductType_(int initialCapacity); public void _ProductType(); public void ExecutionRule(); public void ExecutionRule_(); public void _ExecutionRule(); public void InferenceRule(); public void InferenceRule_(); public void _InferenceRule(); public void Premises(); public void Premises_(); public void Premises_(int initialCapacity); public void _Premises(); public void Transition(); public void Transition_(); public void _Transition(); public void Configuration(); public void Configuration_(); public void Configuration_(int initialCapacity); public void _Configuration(); public void TypedVariable(); public void TypedVariable_(); public void _TypedVariable(); public void StructuredVariable(); public void StructuredVariable_(); public void _StructuredVariable(); public void Variable(); public void Variable(String value); public void VariableValue(); public void VariableValue_(); public void _VariableValue(); public void RenameGroup(); public void RenameGroup_(); public void RenameGroup_(int initialCapacity); public void _RenameGroup(); public void Rename(); public void Rename_(); public void _Rename(); public void Environments(); public void Environments_(); public void Environments_(int initialCapacity); public void _Environments(); public void BindingsScope(); public void BindingsScope_(); public void _BindingsScope(); public void LocalBindings(); public void LocalBindings_(); public void LocalBindings_(int initialCapacity); public void _LocalBindings(); public void LocalBinding(); public void LocalBinding_(); public void _LocalBinding(); public void BindingOp(); public void BindingOp(BindingOpEnum.Value value); public void BindingOp(String value); public void EnvironmentVariable(); public void EnvironmentVariable_(); public void _EnvironmentVariable(); public void TypeCast(); public void TypeCast_(); public void _TypeCast(); public void FunctionApplication(); public void FunctionApplication_(); public void _FunctionApplication(); public void StageChange(); public void StageChange(StageChangeEnum.Value value); public void StageChange(String value); public void OutputBindings(); public void OutputBindings_(); public void OutputBindings_(int initialCapacity); public void _OutputBindings(); public void OutputBinding(); public void OutputBinding_(); public void _OutputBinding(); public void InputBindings(); public void InputBindings_(); public void InputBindings_(int initialCapacity); public void _InputBindings(); public void InputBinding(); public void InputBinding_(); public void _InputBinding(); public void InlineTemplate(); public void InlineTemplate_(); public void _InlineTemplate(); public void ChooseTemplate(); public void ChooseTemplate_(); public void ChooseTemplate_(int initialCapacity); public void _ChooseTemplate(); public void WhereTemplate(); public void WhereTemplate_(); public void _WhereTemplate(); public void ForTemplate(); public void ForTemplate_(); public void _ForTemplate(); public void IfTemplate(); public void IfTemplate_(); public void _IfTemplate(); public void IfDefTemplate(); public void IfDefTemplate_(); public void _IfDefTemplate(); public void ElseTemplate(); public void ElseTemplate_(); public void _ElseTemplate(); public void RuleName(); public void RuleName_(); public void _RuleName(); public void Num(); public void Num(int value); public void URI(); public void URI(String value); public void Namespace(); public void Namespace(String value); public void Name(); public void Name(String value); public void Version(); public void Version(String value); }