refs/heads/sam - gerrit/henshin/org.eclipse.emft.henshin

commit: b085d7239bb879f900f9f91d1ce385bbcc110232
[log]
author: Christian Krause <henshin.ck@gmail.com>
Sun Aug 30 13:42:32 2015 +0200
committer: Christian Krause <henshin.ck@gmail.com>
Sun Aug 30 13:42:32 2015 +0200
tree: bcada16bbd90e52af739f94227bcb34aa6c96f75
parent: 3d62b8166fd8e82b832ea3a7eda07a525c61bb10 [diff]

some code clean up in invariant checker

Change-Id: I9d08e85472d9fffb6e90a83227e7c35b4544eb3a

plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/adapter/GCNACAdapter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/adapter/GraphConditionNACAdapterFactory.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/adapter/SamGraphInvCheckGraphAdapter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/adapter/SamGraphInvCheckGraphAdapterFactory.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/algorithm/ContextGenerator.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/algorithm/EfficientMatcher.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/algorithm/GraphMerger.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/algorithm/IsomorphicPartMatcher.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/algorithm/IsomorphicPartPartialMatcher.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/algorithm/NACTranslator.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/algorithm/NACTranslatorOp.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/algorithm/RuleApplication.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/algorithm/package-info.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/CombinationProducer.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/ContainsGraphRuleHelper.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/ContainsPropertyHelper.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/GeneralContextCheckFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/GeneralContextFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/GenerateMatchSubgraphFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/GenerateSubgraphFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/GraphMergeFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/GraphVerificationData.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/MatchSubgraphFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/MergeSubgraphFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/NacTranslationFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/NotMatchableSubgraphFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/RuleApplicationFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/StructuralGraphRuleFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/StructuralGuaranteedPropertyTargetPatternFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/StructuralPropertyFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/StructuralPropertyTargetPatternFilter.java[diff]
plugins/org.eclipse.emf.henshin.sam.invcheck/src/org/eclipse/emf/henshin/sam/invcheck/filter/VerificationResultConsumer.java[diff]

32 files changed

tree: bcada16bbd90e52af739f94227bcb34aa6c96f75

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