Skip to content

UVLS crashes in constraint auto-completion #128

@st-vi

Description

@st-vi

I recognized the error when working with the elevator example from the feature IDE book.

features
    Elevator {abstract}
        mandatory
            Behavior {abstract}
                mandatory
                    Modes {abstract}
                        alternative
                            Sabbath
                            FIFO
                            ShortestPath
                optional
                    Service
                    Priorities {abstract}
                        or
                            RushHour
                            FloorPriority
                            PersonPriority
        optional
            VoiceOutput
            CallButtons {abstract}
                alternative
                    DirectedCall
                    UndirectedCall
            Security {abstract}
                mandatory
                    Permission {abstract}
                        or
                            FloorPermission
                            PermissionControl
            Safety {abstract}
                optional
                    Overloaded

constraints
    CallButtons | Sabbath
    DirectedCall => ShortestPath
    UndirectedCall => FIFO | ShortestPath

When writing new constraints the server crashes. It seems to be related to the length of the feature model.

For example the model

    Elevator {abstract}
        mandatory
            Behavior {abstract}
                mandatory
                    Modes {abstract}
                        alternative
                            Sabbath
                            FIFO
                            ShortestPath
                optional
                    Service
                    Priorities {abstract}
                        or
                            RushHour
                            FloorPriority
                            PersonPriority
        optional
            VoiceOutput
            CallButtons {abstract}
                alternative
                    DirectedCall
                    UndirectedCall
            Security {abstract}
                mandatory
                    Permission {abstract}
                        or
                            FloorPermission
                            PermissionControl
            Safety {abstract}
                optional
                    Overloaded

constraints

crashes when starting to write the constraint CallButtons

but when we remove two features (does not matter which ones, I think) like this

    Elevator {abstract}
        mandatory
            Behavior {abstract}
                mandatory
                    Modes {abstract}
                        alternative
                            Sabbath
                optional
                    Service
                    Priorities {abstract}
                        or
                            RushHour
                            FloorPriority
                            PersonPriority
        optional
            VoiceOutput
            CallButtons {abstract}
                alternative
                    DirectedCall
                    UndirectedCall
            Security {abstract}
                mandatory
                    Permission {abstract}
                        or
                            FloorPermission
                            PermissionControl
            Safety {abstract}
                optional
                    Overloaded

constraints

everything is fine when writing the constraint.

I could reproduce this error with different feature models that have a certain length.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions