ValidEnvironment

io.github.srs.model.environment.ValidEnvironment

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

opaque type ValidEnvironment

Value members

Concrete methods

Extensions

Extensions

extension (env: ValidEnvironment)

Updates an entity in the environment, ensuring no collisions occur.

Updates an entity in the environment, ensuring no collisions occur.

Value parameters

entity

the entity to update.

Attributes

Returns

a io.github.srs.model.validation.Validation that contains the updated environment or a collision error if the update would result in a collision.