Generated with

tessla-compiler/de.uni_luebeck.isp.tessla.tessla_compiler/IntermediateCode/OptionType

OptionType

de.uni_luebeck.isp.tessla.tessla_compiler.IntermediateCode.OptionType

final case class OptionType(valType: ImpLanType) extends GenericImpLanType

Attributes

Graph
Supertypes: trait Serializable

trait Product

trait Equals

class GenericImpLanType

trait ImpLanType

class Object

trait Matchable

class Any
Show all

Members list

Value members

Concrete methods

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns: a string representation of the object.
Definition Classes: Any

Inherited methods

Attributes

Inherited from:: Product

Attributes

Inherited from:: Product

Inherited fields

Attributes

Inherited from:: GenericImpLanType

In this article

Generated with