src/Pure/General/untyped.scala
changeset 73344 f5c147654661
parent 73337 0af9e7e4476f
child 75393 87ebf5a50283
equal deleted inserted replaced
73343:d0378baf7d06 73344:f5c147654661
    45         if field.getName == x
    45         if field.getName == x
    46       } yield {
    46       } yield {
    47         field.setAccessible(true)
    47         field.setAccessible(true)
    48         field
    48         field
    49       }
    49       }
    50     if (iterator.hasNext) iterator.next
    50     if (iterator.hasNext) iterator.next()
    51     else error("No field " + quote(x) + " for " + obj)
    51     else error("No field " + quote(x) + " for " + obj)
    52   }
    52   }
    53 
    53 
    54   def get[A](obj: AnyRef, x: String): A =
    54   def get[A](obj: AnyRef, x: String): A =
    55     if (obj == null) null.asInstanceOf[A]
    55     if (obj == null) null.asInstanceOf[A]