ReservedFieldsDefinition

alloy.proto.ReservedFieldsDefinition
See theReservedFieldsDefinition companion object

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

Attributes

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

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product