Opened 8 years ago

Closed 2 years ago

#1564 closed enhancement (fixed)

Checking classes from python/command line

Reported by: Jesper Mattsson Owned by: Tove Bergdahl
Priority: major Milestone: Pending
Component: Python Version: trunk
Keywords: Cc:

Description (last modified by Tove Bergdahl)

There is no function for error checking a class without compiling it from python or the command line tool. Add an easy way to do that. Simply parsing a file without flattening would probably be useful as well.

The error check when doing error checking of a model should work differently when a model is just checked as compared to when it is translated. When a model is just checked, additional equations should be assumed to be present representing connections. When a model is translated, no such equations should be assumed. Also, the symbolic transformation step should not be invoked when a model is checked.

Change History (10)

comment:1 Changed 8 years ago by Jesper Mattsson

changeset:2767

Added option to command-line tool for parsing files without instantiating a class.

comment:2 Changed 6 years ago by jsten

changeset:5185
Added a first spike at a model checker, this version only parse and instantiate the model.

comment:3 Changed 6 years ago by Tove Bergdahl

Component: PythonGeneral
Description: modified (diff)
Milestone: Pending
Owner: set to jsten
Status: newassigned

comment:4 Changed 6 years ago by Jesper Mattsson

Milestone: Pending1.14.x

There is now a check mode in the compiler - make sure it can be invoked from Python.

comment:5 Changed 6 years ago by Tove Bergdahl

Milestone: 1.14.xPending

comment:6 Changed 5 years ago by Jesper Mattsson

Needs some support in python, currently the target argument is checked against allowed values.

comment:7 Changed 5 years ago by Tove Bergdahl

Component: GeneralPython

comment:8 Changed 4 years ago by Tove Bergdahl

Owner: changed from jsten to Tove Bergdahl

comment:9 in reply to:  6 Changed 4 years ago by Tove Bergdahl

Replying to jmattsson:

Needs some support in python, currently the target argument is checked against allowed values.

Need a new function in compiler.py instead, e.g. check_model.

comment:10 Changed 2 years ago by Jesper Mattsson

Resolution: fixed
Status: assignedclosed
Note: See TracTickets for help on using tickets.