package ch.usi.inf.l3.sana.ooj.names

import ch.usi.inf.l3.sana.tiny
import tiny.names.Name

trait StdNames extends tiny.names.StdNames {
  val OBJECT_TYPE_NAME = Name("Object")
  val NULL_NAME        = Name("null")
}

object StdNames extends StdNames


package ch.usi.inf.l3.sana.ooj.names

import ch.usi.inf.l3.sana.tiny
import tiny.names.Name

trait StdNames extends tiny.names.StdNames {
  val JAVA_PACKAGE_NAME = Name("java")
  val LANG_PACKAGE_NAME = Name("lang")
  val OBJECT_TYPE_NAME  = Name("Object")
  val NULL_NAME         = Name("null")
}

object StdNames extends StdNames


Add information for java & java.lang packages
Add information for java & java.lang packages
