case class OuterInnerNames(outer: GlobalName, implArgsOuter: List[Int], before: List[LocalName], innerPos: Int, inner: GlobalName, implArgsInner: List[Int], inside: List[LocalName], after: List[LocalName]) extends Product with Serializable
convenience class for storing the names of an OuterInnerTerm
- outer
outer operator
- implArgsOuter
positions of the implicit arguments of 'outer' (counting from 0)
- before
names of the before arguments (excluding implicit ones)
- innerPos
of innner term (= before.length)
- implArgsInner
positions of the implicit arguments of 'inner' (counting from 0)
- inside
names of the inside-arguments (excluding implicit ones)
- after
names of the after arguments (excluding implicit ones) this represents a left hand side of the form (excluding implicit arguments) outer(before,inner(inside),after) where before, inside, after do not include the implicit arguments
- Alphabetic
- By Inheritance
- OuterInnerNames
- Serializable
- Serializable
- Product
- Equals
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
OuterInnerNames(outer: GlobalName, implArgsOuter: List[Int], before: List[LocalName], innerPos: Int, inner: GlobalName, implArgsInner: List[Int], inside: List[LocalName], after: List[LocalName])
- outer
outer operator
- implArgsOuter
positions of the implicit arguments of 'outer' (counting from 0)
- before
names of the before arguments (excluding implicit ones)
- innerPos
of innner term (= before.length)
- implArgsInner
positions of the implicit arguments of 'inner' (counting from 0)
- inside
names of the inside-arguments (excluding implicit ones)
- after
names of the after arguments (excluding implicit ones) this represents a left hand side of the form (excluding implicit arguments) outer(before,inner(inside),after) where before, inside, after do not include the implicit arguments
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val after: List[LocalName]
-
def
allNames: List[LocalName]
before:::inside:::after
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
- val before: List[LocalName]
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
explArgsInner(allArgs: List[Term]): List[Term]
drops implicit arguments from inside-arguments
-
def
explArgsOuter(allBefore: List[Term], allAfter: List[Term]): (List[Term], List[Term])
drops implicit arguments from before- and after-arguments
-
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()
- val implArgsInner: List[Int]
- val implArgsOuter: List[Int]
- val inner: GlobalName
- val innerPos: Int
- val inside: List[LocalName]
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
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 outer: GlobalName
- def outerArity: Int
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
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()