equal
deleted
inserted
replaced
281 case List((FUNCTION, INVOKE_SCALA), (NAME, name), (ID, id)) => Some((name, id)) |
281 case List((FUNCTION, INVOKE_SCALA), (NAME, name), (ID, id)) => Some((name, id)) |
282 case _ => None |
282 case _ => None |
283 } |
283 } |
284 } |
284 } |
285 |
285 |
|
286 val CANCEL_SCALA = "cancel_scala" |
|
287 object Cancel_Scala |
|
288 { |
|
289 def unapply(props: Properties.T): Option[String] = |
|
290 props match { |
|
291 case List((FUNCTION, CANCEL_SCALA), (ID, id)) => Some(id) |
|
292 case _ => None |
|
293 } |
|
294 } |
|
295 |
286 |
296 |
287 /* system data */ |
297 /* system data */ |
288 |
298 |
289 val Data = Markup("data", Nil) |
299 val Data = Markup("data", Nil) |
290 } |
300 } |