Newer
Older
SpecificationSimulatorExperiments / models / DTRAM / SimpleTwitter.dtram
okazakitakehiro 27 days ago 301 bytes モデルファイルを上げておきます。
channel Signup{
	out accounts(accountDB:Map, signUp(accountId:Str, name:Str)) = insert(accountDB, accountId, {"name": name, 
																									"tweets": nil})
}

channel Tweet(accountId:Str) {
	out accounts.{accountId}.tweets(tweetList:List, tweet(contents:Str)) = append(tweetList, contents)
}