Scala 2
|
|
isabelle/Position.scala
]
object
Position
extends
AnyRefType Summary | |
type
|
T |
Method Summary | |
def
|
column_of (pos : scala.List) : scala.Option[Int] |
def
|
end_column_of (pos : scala.List) : scala.Option[Int] |
def
|
end_line_of (pos : scala.List) : scala.Option[Int] |
def
|
end_offset_of (pos : scala.List) : scala.Option[Int] |
def
|
file_of (pos : scala.List) : scala.Option[java.lang.String] |
def
|
id_of (pos : scala.List) : scala.Option[java.lang.String] |
def
|
line_of (pos : scala.List) : scala.Option[Int] |
def
|
offset_of (pos : scala.List) : scala.Option[Int] |
def
|
offsets_of (pos : scala.List) : (scala.Option[Int], scala.Option[Int]) |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Type Details |
Method Details |
def
line_of(pos : scala.List) : scala.Option[Int]
def
column_of(pos : scala.List) : scala.Option[Int]
def
offset_of(pos : scala.List) : scala.Option[Int]
def
end_line_of(pos : scala.List) : scala.Option[Int]
def
end_column_of(pos : scala.List) : scala.Option[Int]
def
end_offset_of(pos : scala.List) : scala.Option[Int]
def
file_of(pos : scala.List) : scala.Option[java.lang.String]
def
id_of(pos : scala.List) : scala.Option[java.lang.String]
def
offsets_of(pos : scala.List) : (scala.Option[Int], scala.Option[Int])
Scala 2
|
|