equal
deleted
inserted
replaced
156 val CLASS = Value("class") |
156 val CLASS = Value("class") |
157 } |
157 } |
158 |
158 |
159 sealed case class Entity(kind: Kind.Value, name: String, serial: Long, pos: Position.T) |
159 sealed case class Entity(kind: Kind.Value, name: String, serial: Long, pos: Position.T) |
160 { |
160 { |
|
161 def kind_name: (Kind.Value, String) = (kind, name) |
|
162 |
161 override def toString: String = kind.toString + quote(name) |
163 override def toString: String = kind.toString + quote(name) |
162 |
164 |
163 def cache(cache: Term.Cache): Entity = |
165 def cache(cache: Term.Cache): Entity = |
164 Entity(kind, cache.string(name), serial, cache.position(pos)) |
166 Entity(kind, cache.string(name), serial, cache.position(pos)) |
165 } |
167 } |