modelverse/models/plant_model.mvc

Plant_PW plant_model_PW {
    Boundary plant_powerwindow_dsl{
        name = "plant_powerwindow_dsl"
        Port driverWindowCommands {
            name = "driverWindowCommands"
        }
        Port lockCommands {
            name = "lockCommands"
        }
        Port detectObject {
            name = "detectObject"
        }
        Port controlPassengerWindowCommands {
            name = "controlPassengerWindowCommands"
        }
        Port passengerWindowCommands {
            name = "passengerWindowCommands"
        }

        Side driver {
            name = "driver"

            PushPull pushpull1 {
                name = "pushpull1"
            }
            PushPull pushpull2 {
                name = "pushpull2"
            }
            LockOut s_ {
                name = "s_"
            }

        }

        Side passenger {
            name = "passenger"

            Rocker rocker {
                name = "rocker"
            }

            Infrared IRSensor {
                name = "IRSensor"
            }
        }

        Controls (s_, passenger) {}
        Controls (pushpull1, driver) {}
    }
}