PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.model/io.github.srs.model.entity/io.github.srs.model.entity.dynamicentity/io.github.srs.model.entity.dynamicentity.dsl

io.github.srs.model.entity.dynamicentity.dsl

package io.github.srs.model.entity.dynamicentity.dsl

Members list

Type members

Classlikes

object RobotDsl

The DSL for creating and configuring a Robot entity.

The DSL for creating and configuring a Robot entity.

Attributes

Example 
 import io.github.srs.model.entity.dynamicentity.dsl.RobotDsl.*
 val myRobot = robot at Point2D(1.0, 2.0) withShape ShapeType.Circle(0.5) withOrientation Orientation(90.0) containing WheelMotor() withSensors SensorSuite.empty
 myRobot.validate match
   case Right(validRobot) => println(s"Valid robot: $validRobot")
   case Left(error) => println(s"Validation error: $error.errorMessage")
Supertypes
class Object
trait Matchable
class Any
Self type
RobotDsl.type
Generated with