ReservedFieldsDefinition

alloy.proto.ReservedFieldsDefinition
See theReservedFieldsDefinition companion object
sealed trait ReservedFieldsDefinition extends Product, Serializable

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class NameCase
class NumberCase
class RangeCase
Self type

Members list

Type members

Classlikes

object project

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
project.type

Value members

Abstract methods

def $ordinal: Int

Concrete methods

def accept[A](visitor: Visitor[A]): A

Inherited methods

def canEqual(that: Any): Boolean

Attributes

Inherited from:
Equals
def productArity: Int

Attributes

Inherited from:
Product
def productElement(n: Int): Any

Attributes

Inherited from:
Product
def productElementName(n: Int): String

Attributes

Inherited from:
Product
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def productPrefix: String

Attributes

Inherited from:
Product