Skip to content

Loading machine from AST does not work with referenced definition files #387

@cobizobi

Description

@cobizobi

Loading a machine from a Java AST currently fails if a definition from a referenced definition file is used in the machine. This is probably because the PreParser is not executed and definitions from definition files are not collected by the DefinitionCollector (which is required for typing of definitions).

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingprob2_kernelIssue related to ProB2 Java API kernelprob_parsersRelated to the B or LTL/CTL parsers of ProB

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions