Search in sources :

Example 6 with AMachineReference

use of de.be4.classicalb.core.parser.node.AMachineReference 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);
    }
}
Also used : PMachineReference(de.be4.classicalb.core.parser.node.PMachineReference)

Aggregations

AMachineReference (de.be4.classicalb.core.parser.node.AMachineReference)4 CheckException (de.be4.classicalb.core.parser.exceptions.CheckException)3 TPragmaIdOrString (de.be4.classicalb.core.parser.node.TPragmaIdOrString)3 AFileMachineReference (de.be4.classicalb.core.parser.node.AFileMachineReference)2 PMachineReference (de.be4.classicalb.core.parser.node.PMachineReference)2 File (java.io.File)2 VisitorException (de.be4.classicalb.core.parser.exceptions.VisitorException)1 AIncludesMachineClause (de.be4.classicalb.core.parser.node.AIncludesMachineClause)1 TIdentifierLiteral (de.be4.classicalb.core.parser.node.TIdentifierLiteral)1 ArrayList (java.util.ArrayList)1