PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.model/io.github.srs.model.entity/ShapeType/Circle

Circle

io.github.srs.model.entity.ShapeType.Circle
final case class Circle(radius: Double)

A circular shape.

Value parameters

radius

the radius of the circle, must be a positive value.

Attributes

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with