5dc9bc45042503ff37bc707d2565886ec398c98e - henshin/org.eclipse.emft.henshin

commit	5dc9bc45042503ff37bc707d2565886ec398c98e	[log] [tgz]
author	Stefan Schulz <schulzs@students.uni-marburg.de>	Thu May 18 16:11:37 2017 +0200
committer	Daniel Strueber <strueber@mathematik.uni-marburg.de>	Wed Jun 07 09:48:51 2017 -0400
tree	239648b78edb4a1a980068480327199da58c85ba
parent	c87604ac82c5ab35af6d57663a924de4cce4220d [diff]

Add formula True, regenerate code base

Change-Id: I0b35504523d75ac198b458e7e278ec53541ce19b
Signed-off-by: Stefan Schulz <schulzs@students.uni-marburg.de>

plugins/org.eclipse.emf.henshin.diagram/META-INF/MANIFEST.MF[diff]
plugins/org.eclipse.emf.henshin.diagram/plugin.xml[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/commands/NodeCreateCommand.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/helpers/RuleEditHelper.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/AttributeConditionBodyEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/AttributeConditionEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/AttributeConditionNameEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/AttributeEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/EdgeActionEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/EdgeTypeEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/InvocationNameEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/ModuleEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/NodeActionEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/NodeCompartmentEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/NodeEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/NodeTypeEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/RuleCompartmentEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/RuleEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/RuleNameEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/UnitCompartmentEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/UnitEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/parts/UnitNameEditPart.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/policies/HenshinBaseItemSemanticEditPolicy.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/policies/HenshinTextNonResizableEditPolicy.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/policies/ModuleCanonicalEditPolicy.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/policies/NodeCompartmentCanonicalEditPolicy.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/policies/NodeItemSemanticEditPolicy.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/policies/RuleCompartmentCanonicalEditPolicy.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/policies/RuleItemSemanticEditPolicy.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/policies/UnitCompartmentCanonicalEditPolicy.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/edit/policies/UnitItemSemanticEditPolicy.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/navigator/HenshinDomainNavigatorContentProvider.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/navigator/HenshinDomainNavigatorItem.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/navigator/HenshinNavigatorContentProvider.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/navigator/HenshinNavigatorLabelProvider.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/parsers/MessageFormatParser.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/part/DiagramEditorContextMenuProvider.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/part/HenshinCreationWizard.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/part/HenshinDiagramEditor.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/part/HenshinDiagramEditorPlugin.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/part/HenshinDiagramEditorUtil.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/part/HenshinDiagramUpdater.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/part/HenshinDocumentProvider.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/part/HenshinNewDiagramFileWizard.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/part/HenshinVisualIDRegistry.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/part/ValidateAction.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/providers/HenshinElementTypes.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/providers/HenshinModelingAssistantProvider.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/providers/HenshinParserProvider.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/providers/HenshinValidationDecoratorProvider.java[diff]
plugins/org.eclipse.emf.henshin.diagram/src/org/eclipse/emf/henshin/diagram/providers/HenshinViewProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/META-INF/MANIFEST.MF[diff]
plugins/org.eclipse.emf.henshin.edit/icons/full/ctool16/CreateBinaryFormula_left_True.gif[Added - diff]
plugins/org.eclipse.emf.henshin.edit/icons/full/ctool16/CreateBinaryFormula_right_True.gif[Added - diff]
plugins/org.eclipse.emf.henshin.edit/icons/full/ctool16/CreateGraph_formula_True.gif[Added - diff]
plugins/org.eclipse.emf.henshin.edit/icons/full/ctool16/CreateUnaryFormula_child_True.gif[Added - diff]
plugins/org.eclipse.emf.henshin.edit/icons/full/obj16/True.gif[Added - diff]
plugins/org.eclipse.emf.henshin.edit/plugin.properties[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/AndItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/AnnotationItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/AttributeConditionItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/AttributeItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/BinaryFormulaItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/ConditionalUnitItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/EdgeItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/GraphItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/HenshinItemProviderAdapterFactory.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/IndependentUnitItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/IteratedUnitItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/LoopUnitItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/MappingItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/ModuleItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/MultiUnitItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/NamedElementItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/NestedConditionItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/NodeItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/NotItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/OrItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/ParameterItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/PriorityUnitItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/RuleItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/SequentialUnitItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/TrueItemProvider.java[Added - diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/UnaryFormulaItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/UnaryUnitItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/UnitItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.edit/src/org/eclipse/emf/henshin/provider/XorItemProvider.java[diff]
plugins/org.eclipse.emf.henshin.editor/META-INF/MANIFEST.MF[diff]
plugins/org.eclipse.emf.henshin.editor/src/org/eclipse/emf/henshin/presentation/HenshinEditor.java[diff]
plugins/org.eclipse.emf.henshin.model/model/henshin.ecore[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/Annotation.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/BinaryFormula.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/ConditionalUnit.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/Graph.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/GraphElement.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/HenshinFactory.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/HenshinPackage.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/Mapping.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/ModelElement.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/MultiUnit.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/NamedElement.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/NestedCondition.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/Node.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/Parameter.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/ParameterMapping.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/Rule.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/SequentialUnit.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/True.java[Added - diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/UnaryFormula.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/UnaryUnit.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/Unit.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/AndImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/AnnotationImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/AttributeConditionImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/AttributeImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/BinaryFormulaImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/ConditionalUnitImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/EdgeImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/GraphImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/HenshinFactoryImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/HenshinPackageImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/IndependentUnitImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/IteratedUnitImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/LoopUnitImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/MappingImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/ModelElementImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/MultiUnitImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/NamedElementImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/NestedConditionImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/NodeImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/NotImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/OrImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/ParameterImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/ParameterMappingImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/PriorityUnitImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/RuleImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/SequentialUnitImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/TrueImpl.java[Added - diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/UnaryFormulaImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/UnaryUnitImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/UnitImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/impl/XorImpl.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/util/HenshinAdapterFactory.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/util/HenshinSwitch.java[diff]
plugins/org.eclipse.emf.henshin.model/src/org/eclipse/emf/henshin/model/util/HenshinValidator.java[diff]

145 files changed

tree: 239648b78edb4a1a980068480327199da58c85ba

doc/
features/
p2updatesite/
plugins/
.gitignore
codeformat.xml
javadoc.sh
pom.xml
promote.sh
switchversion.sh
syncwww.sh
updatecopyright.sh