Modifier and Type | Class and Description |
---|---|
class |
FolConstraintImpl
Common root for all First Order Logic constraint implementations
|
Modifier and Type | Class and Description |
---|---|
class |
FolConstraintEA
This is the implementation of FolConstraint for the Enterprise Architect
model source.
|
Modifier and Type | Class and Description |
---|---|
class |
GenericFolConstraint |
Modifier and Type | Method and Description |
---|---|
protected Constraint |
GenericModel.parse(FolConstraint con,
Sbvr2FolParser parser,
GenericClassInfo genCi) |
Modifier and Type | Method and Description |
---|---|
FolConstraint |
SbvrParsingResult.getConstraint() |
Modifier and Type | Method and Description |
---|---|
FolExpression |
Sbvr2FolParser.parse(FolConstraint con)
Parsed a first order logic expression from the given constraint.
|
void |
SbvrParsingResult.setConstraint(FolConstraint con) |
Constructor and Description |
---|
Sbvr2FolVisitor(Model m,
FolConstraint con) |
Modifier and Type | Method and Description |
---|---|
protected void |
FOL2Schematron.addAssertion(ClassInfo ci,
FolConstraint c)
Add another constraint and translate it into a Schematron <assert>,
which is subsequently appended to the Schematron document within the
proper <rule> context.
|
Modifier and Type | Method and Description |
---|---|
static Constraint |
ConstraintParserAndValidator.parse(FolConstraint con,
Sbvr2FolParser parser,
GenericClassInfo genCi,
ShapeChangeResult r) |
Copyright © 2017. All rights reserved.