|
Scala 2
|
|
isabelle/Position.scala]
object
Position
extends AnyRef| Method Summary | |
def
|
column_of (props : java.util.Properties) : scala.Option[Int] |
def
|
end_column_of (props : java.util.Properties) : scala.Option[Int] |
def
|
end_line_of (props : java.util.Properties) : scala.Option[Int] |
def
|
end_offset_of (props : java.util.Properties) : scala.Option[Int] |
def
|
file_of (props : java.util.Properties) : scala.Option[java.lang.String] |
def
|
id_of (props : java.util.Properties) : scala.Option[java.lang.String] |
def
|
line_of (props : java.util.Properties) : scala.Option[Int] |
def
|
offset_of (props : java.util.Properties) : 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 |
| Method Details |
def
line_of(props : java.util.Properties) : scala.Option[Int]
def
column_of(props : java.util.Properties) : scala.Option[Int]
def
offset_of(props : java.util.Properties) : scala.Option[Int]
def
end_line_of(props : java.util.Properties) : scala.Option[Int]
def
end_column_of(props : java.util.Properties) : scala.Option[Int]
def
end_offset_of(props : java.util.Properties) : scala.Option[Int]
def
file_of(props : java.util.Properties) : scala.Option[java.lang.String]
def
id_of(props : java.util.Properties) : scala.Option[java.lang.String]
|
Scala 2
|
|