gerrit.simantics Code Review - simantics/platform.git/commit

]> gerrit.simantics Code Review - simantics/platform.git/commit

Code Review / simantics / platform.git / commit

author	Hannu Niemistö <hannu.niemisto@semantum.fi>
	Tue, 30 May 2017 07:49:26 +0000 (10:49 +0300)
committer	Hannu Niemistö <hannu.niemisto@semantum.fi>
	Tue, 30 May 2017 16:53:45 +0000 (19:53 +0300)
commit	a2df536f7fc878982c6c960a79ed49f350cddc6f
tree	45e21474d1e7ba7e1b0b12f476f93d84ff90193d	tree \| snapshot
parent	5f0ad7a26810df602600c5eddad317588fce0ac4	commit \| diff

(refs #7250) Refactoring CHR implementation

This change is preparation for the modularization of the CHR rule
systems. The main change is moving the major rule execution code from
fact classes to priority level classes.

Change-Id: Idd63339d8c2cf81e2af07660f0f81cae273c1d62

32 files changed:

bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/common/names/Names.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRule.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRuleset.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRulesetObject.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/CHRSearchPlan.java	[moved from bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PrioritizedPlan.java with 59% similarity]	diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/ClaimOp.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/IterateConstraintOp.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PlanContext.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PlanRealizer.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PostCommitOp.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/relations/CHRConstraint.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/java/Builtins.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRCodeGenerationConstants.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRFactCodeGenerator.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRHashIndexCodeGenerator.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRPriorityFactContainerCodeGenerator.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRRuntimeRulesetCodeGenerator.java	[moved from bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRCodeGenerator.java with 60% similarity]	diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/ExampleStore.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/types/Types.java		diff \| blob \| history
bundles/org.simantics.scl.runtime/scl/TestCHR.scl	[new file with mode: 0644]	blob
bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/CHRContext.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/CHRFact.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/CHRPriority.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/CHRPriorityFactContainer.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/CHRRuntimeRuleset.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/Fact.java	[deleted file]	blob \| history
bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/FactActivationQueue.java	[deleted file]	blob \| history
bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/PriorityContainer.java	[deleted file]	blob \| history
bundles/org.simantics.scl.runtime/tests/org/simantics/scl/runtime/tests/TestFactActivationQueue.java	[deleted file]	blob \| history
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/ActiveTests.java		diff \| blob \| history
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR5.scl	[new file with mode: 0644]	blob
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/unit/TestCHRCodeGenerator.java		diff \| blob \| history

Simantics Platform SDK.

RSS Atom