case class Var(number: Int, typed: Boolean, sep: Option[Delim], properties: CommonMarkerProperties = noProps) extends Marker with VariableComponent with Product with Serializable
a variable binding
- number
the number of the variable
- typed
true if the variable carries a type (to be inferred if omitted)
- sep
if given, this is a variable sequence with this separator; for typed variables with the same type, only the last one needs a type
- Source
- NotationComponents.scala
- Alphabetic
- By Inheritance
- Var
- Serializable
- Serializable
- Product
- Equals
- VariableComponent
- ArityComponent
- Marker
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
Var(number: Int, typed: Boolean, sep: Option[Delim], properties: CommonMarkerProperties = noProps)
- number
the number of the variable
- typed
true if the variable carries a type (to be inferred if omitted)
- sep
if given, this is a variable sequence with this separator; for typed variables with the same type, only the last one needs a type
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
- def *(remap: (Int) ⇒ Int): Var
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
atomicDescendants: List[Marker]
for markers that contain nested markers, this should be overridden to return all leafs of the syntax tree
for markers that contain nested markers, this should be overridden to return all leafs of the syntax tree
- Definition Classes
- Marker
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isSequence: Boolean
- Definition Classes
- Var → ArityComponent
- def makeCorrespondingSingleVar(n: Int, remap: (Int) ⇒ Int): Var
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
val
number: Int
- Definition Classes
- Var → ArityComponent
-
def
precedence: Option[Precedence]
- Definition Classes
- Var → ArityComponent
- val properties: CommonMarkerProperties
- val sep: Option[Delim]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
- def toString: String
- val typed: Boolean
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()