Examples with PMachineReference de.be4.classicalb.core.parser.node.PMachineReference used on opensource projects

Example 1 with PMachineReference

use of de.be4.classicalb.core.parser.node.PMachineReference in project probparsers by bendisposto.

the class BMachine method addIncludesClause.

public void addIncludesClause(String machineName) {
    AIncludesMachineClause includes = new AIncludesMachineClause();
    List<PMachineReference> referencesList = new ArrayList<>();
    List<TIdentifierLiteral> idList = new ArrayList<>();
    idList.add(new TIdentifierLiteral(machineName));
    referencesList.add(new AMachineReference(idList, new ArrayList<PExpression>()));
    includes.setMachineReferences(referencesList);
    this.parseUnit.getMachineClauses().add(includes);
}

Example 2 with PMachineReference

use of de.be4.classicalb.core.parser.node.PMachineReference in project probparsers by bendisposto.

the class RulesReferencesFinder method registerMachineNames.

private void registerMachineNames(final PMachineReference machineReference) {
    if (machineReference instanceof AFileMachineReference) {
        registerMachineByFilePragma((AFileMachineReference) machineReference);
    } else {
        AMachineReference mchRef = (AMachineReference) machineReference;
        registerMachineReference(mchRef);
    }
}

Example 3 with PMachineReference

use of de.be4.classicalb.core.parser.node.PMachineReference in project prob2 by bendisposto.

the class DependencyWalker method caseAImportsMachineClause.

@Override
public void caseAImportsMachineClause(final AImportsMachineClause node) {
    for (final PMachineReference r : node.getMachineReferences()) {
        final String dest = extractMachineName(((AMachineReference) r).getMachineName());
        addMachine(dest, prefix, ERefType.IMPORTS);
    }
}