orc.trace
Interface RecordTerm

All Superinterfaces:

Term

All Known Implementing Classes:

BlockEvent, ChokeEvent, DieEvent, ErrorEvent, Event, ForkEvent, FreeEvent, PrintEvent, PublishEvent, PullEvent, ReceiveEvent, RecordValue, RootEvent, SendEvent, StoreEvent, UnblockEvent

public interface RecordTerm
extends Term

A term with properties (like an object). FIXME: need to figure out how to pattern match this.

Author:

quark

Method Summary

Term	getProperty(java.lang.String key)

Methods inherited from interface orc.trace.Term

prettyPrint

Method Detail

getProperty

Term getProperty(java.lang.String key)