Skip to content

Instantly share code, notes, and snippets.

_SCRIPT_PATH="$(cd "${0%/*}" 2>/dev/null; echo "$PWD"/"${0##*/}")"
_SCRIPT_DIR=`dirname "${_SCRIPT_PATH}"}`
_EXTRADOC_HOME=${_SCRIPT_DIR}/..
export TOOL_CLASSPATH="${_EXTRADOC_HOME}/target/scala_2.8.0/classes:${_EXTRADOC_HOME}/src/main/resources"
export JAVA_OPTS="-Xms512M -Xmx2048M -Xss1M -XX:MaxPermSize=128M"
scala -classpath ${TOOL_CLASSPATH} com.novocode.extradoc.ExtraDoc "$@"
object DSL2 {
def main(args: Array[String]): Unit = {
val m1 = Machine(Agent("agent1"), null)
val m2 = Machine(Agent("agent2"), m1)
val m3 = Machine(Agent("agent3"), m2)
val selector = agent.compose(parent.compose(parent))
println("Name of agent: " + selector(m3).name)
println("Name of agent of m3: " + agent(m3).name)