public class Sbvr2FolParser extends Object implements MessageSource
Constructor and Description |
---|
Sbvr2FolParser(Model m) |
Sbvr2FolParser(Model m,
boolean logParsingErrorsAsInfos) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasErrors() |
String |
message(int mnr)
Return a message for a message number.
|
FolExpression |
parse(FolConstraint con)
Parsed a first order logic expression from the given constraint.
|
public Sbvr2FolParser(Model m)
public Sbvr2FolParser(Model m, boolean logParsingErrorsAsInfos)
public FolExpression parse(FolConstraint con)
null
is
returned.con
- null
if errors were detected while parsingpublic boolean hasErrors()
true
if an error was encountered while parsing the
constraints, else false
public String message(int mnr)
MessageSource
message
in interface MessageSource
Copyright © 2017. All rights reserved.