Skip to content

Incorrect error text for feature group inverse error #1234

Closed

Description

@rinsley

This bit of AADL attempts two different ways of creating feature groups that are inverses of inverses:

feature group MyGroup
end MyGroup;

feature group MyGroupInverse inverse of MyGroup
end MyGroupInverse;

feature group FG1 inverse of MyGroupInverse
end FG1;

system Sys
	features
		FG2: feature group inverse of MyGroupInverse;
end Sys;

This correctly results in two errors in the AADL text editor. The first error about FG1 says, "A feature group type cannot be an inverse of another feature group type that already contains an 'inverse of' declaration."

However, the second error about FG2 says, "A feature group type with an 'inverse of' declaration cannot extend a feature group type without an 'inverse of' declaration."

The text in the second case doesn't make sense (looks like it was copied from another error message in Aadl2JavaValidator). It should probably say something similar to the first error message: for example, "A feature group cannot be an inverse of a feature group type that already contains an 'inverse of' declaration."

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions