use of de.be4.classicalb.core.parser.node.AMachineHeader in project probparsers by bendisposto.
the class RulesReferencesFinder method caseAMachineHeader.
@Override
public void caseAMachineHeader(AMachineHeader node) {
machineName = Utils.getTIdentifierListAsString(node.getName());
if (mainFile != null) {
final String fileNameWithoutExtension = Utils.getFileWithoutExtension(mainFile.getName());
if (!machineName.equals(fileNameWithoutExtension)) {
CheckException ch = new CheckException(String.format("RULES_MACHINE name must match the file name: '%s' vs '%s'", machineName, fileNameWithoutExtension), node);
errorList.add(ch);
}
}
}
use of de.be4.classicalb.core.parser.node.AMachineHeader in project prob2 by bendisposto.
the class DomBuilder method outAMachineHeader.
@Override
public void outAMachineHeader(final AMachineHeader node) {
name = extractIdentifierName(node.getName());
machineId = node.getName();
if (prefix != null && !prefix.equals(name)) {
name = prefix + "." + name;
}
for (PExpression expression : node.getParameters()) {
parameters.add(new Parameter(createExpressionAST(expression)));
}
}
Aggregations