Skip to content

Update to Overture 3.0.0 #127

@CThuleHansen

Description

@CThuleHansen

So the updating of VDM2C seems to have fallen behind - probably because @peterwvj just silently fixed everything beforehand 👍
Anyways, the challenge remains. I am tagging some people that I hope can help out with the task.
@nickbattle @idhugoid @peterwvj (as he might have some knowledge of the infrastructure) and @lausdahl .

I am experiencing the following:
Using overture 3.0.0 it still compiles, but the generated C does not.
I am pinpointed the issue to be related to classes somehow.
The water tank will serve as an example below.

With Overture 3.0.0 the valveactuator attempts to access fields of the controller:

CALL_FUNC(BoolPort, BoolPort, GET_FIELD_PTR_GC(Controller, Controller, this, port), CLASS_BoolPort__Z8setValueEB, value);

With Overture 3.6.4 it correctly uses ValveActuator class.

CALL_FUNC(BoolPort, BoolPort, GET_FIELD_PTR_GC(ValveActuator, ValveActuator, this, port), CLASS_BoolPort__Z8setValueEB, value);

So the challenge is to update vdm2c from using Overture 2.6.4 to Overture 3.0.0.

I have not had time to dig further into this yet.

@idhugoid and I will have a meeting later today (Monday 21st September, 2020) to update the overture procedure such that vdm2c is updated on Overture updates.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions