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>
	Thu, 1 Jun 2017 10:04:26 +0000 (13:04 +0300)
committer	Hannu Niemistö <hannu.niemisto@semantum.fi>
	Fri, 2 Jun 2017 11:17:33 +0000 (14:17 +0300)
commit	78f577368ba4c71ad6fb3d9f16c03c634585cf7b
tree	ec9778963d02ae4d7923f7b8d4f6783d40d185c8	tree \| snapshot
parent	a88529426319d66aa668882d767efb3f58a1a629	commit \| diff

(refs #7250) CHR rules modularization (first working version)

This change adds a complete implementation of CHR modularization. New
top level declaration ruleset allows to define rulesets that can be
included into other rulesets (see CHR{5,6}.scl).

Change-Id: I3a188d788602fa27f863e16969f956d79c9684a9

69 files changed:

bundles/org.simantics.scl.compiler/src/org/cojen/classfile/TypeDesc.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/commands/CommandSession.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/common/exceptions/InternalCompilerError.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/CodeGeneration.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/DeclarationClassification.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/Elaboration.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/NamespaceOfModule.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/compilation/SCLCompiler.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/constants/FunctionValue.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/analysis/CHRConstraintGGInfo.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/analysis/UsageAnalysis.java		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/PostCommitOp.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/plan/PreCommitOp.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/contexts/TranslationContext.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/contexts/TypeTranslationContext.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EBlock.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ECHRRulesetConstructor.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EPreCHRRulesetConstructor.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ExpressionTransformer.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/ExpressionVisitor.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/StandardExpressionTransformer.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/StandardExpressionVisitor.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/IncludeStatement.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/block/StatementVisitor.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/printing/ExpressionToStringVisitor.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/environment/EmptyNamespace.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/environment/Environments.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/environment/Namespace.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/environment/NamespaceImpl.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRCodeGenerationConstants.java		diff \| blob \| history
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/CHRPriorityFactContainerCodeGenerator.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRRuntimeRulesetCodeGenerator.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/ssa/SSABlock.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/ssa/SSAClosure.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/ssa/statements/LetApply.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/ssa/statements/LetFunctions.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/types/StandardTypeConstructor.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/utils/ClassBuilder.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/utils/CodeBuilderUtils.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/utils/MethodBuilderBase.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/utils/ModuleBuilder.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/header/ModuleHeader.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/declarations/DModuleHeader.java	[deleted file]	blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/declarations/DRulesetAst.java	[new file with mode: 0644]	blob
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.flex		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLLexer.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLParserImpl.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCLPostLexer.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/module/ConcreteModule.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/module/LazyModule.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/module/Module.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/runtime/RuntimeModule.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/top/ExpressionEvaluator.java		diff \| blob \| history
bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/top/SCLCompilerConfiguration.java		diff \| blob \| history
bundles/org.simantics.scl.runtime/scl/TestCHR.scl	[deleted file]	blob \| history
bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/info/SCLInfo.java		diff \| 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/ModuleRegressionTests.java		diff \| blob \| history
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR5.scl		diff \| blob \| history
tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHR6.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