Module Qcert.DesignerRule.Lang.DesignerRule
DesignerRule stands for ODM designer rules. This is merely a place-holder since the source language is effectively parsed in Java.
Summary:
Language: DesignerRule (Designer Rules)
translating to DesignerRule:
translating from DesignerRule: CAMPRule
Require
Import
Utils
.
Require
Import
DataRuntime
.
Require
Export
CAMPRuleRuntime
.
Section
DesignerRule
.
Context
{
fruntime
:
foreign_runtime
}.
Axiom
designer_rule
:
Set
.
Axiom
designer_rule_to_camp_rule
:
designer_rule
->
camp_rule
.
End
DesignerRule
.