Opened 12 years ago

Closed 7 years ago

Last modified 7 years ago

#1916 closed defect (fixed)

Print an error for nonexisting redeclared modifier elements in extends.

Reported by: Per Östlund Owned by: Per Östlund
Priority: low Milestone: 1.13.0
Component: New Instantiation Version: trunk
Keywords: Cc:

Description (last modified by Per Östlund)

We should print an error if a redeclared modifier element can't be found in an extended class, such as this:

model M
end M;

model NonexistentRedeclareModifier2
  extends M(redeclare Real x);
end NonexistentRedeclareModifier2;

But the dependency analysis thinks that the redeclare modifier is unused, so it just removes it.

Change History (4)

comment:1 by Per Östlund, 12 years ago

Description: modified (diff)

comment:2 by Per Östlund, 12 years ago

A testcase named NonexistentRedeclareModifier2 has been added to the failing tests in scodeinst btw.

comment:3 by Per Östlund, 7 years ago

Resolution: fixed
Status: newclosed

comment:4 by Martin Sjölund, 7 years ago

Milestone: Future1.13.0
Note: See TracTickets for help on using tickets.