jp.ac.waseda.info.ueda.unyo.mediator
クラス Synchronizer

java.lang.Object
  jp.ac.waseda.info.ueda.unyo.mediator.Synchronizer

public class Synchronizer
extends java.lang.Object

処理系との同期をとるための管理クラス
処理系側の Mediator クラスと連携する

作成者:

nakano

コンストラクタの概要

Synchronizer()

メソッドの概要

void	end() 処理系からの終了通知
static void	errPrint(java.lang.String msg)
static void	goAhead(int step)
static void	init()
static boolean	isBusy()
static void	print(java.lang.String msg)
void	setState(java.lang.Object root, java.util.HashMap removedMembrane, java.util.HashSet addedMembrane, java.util.HashSet modifiedMembrane, java.util.HashMap removedAtom, java.util.HashSet addedAtom, java.util.HashSet modifiedAtom)
boolean	sync()

クラス java.lang.Object から継承されたメソッド

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

コンストラクタの詳細

Synchronizer

public Synchronizer()

メソッドの詳細

isBusy

public static boolean isBusy()

goAhead

public static void goAhead(int step)

init

public static void init()

print

public static void print(java.lang.String msg)

errPrint

public static void errPrint(java.lang.String msg)

setState

public void setState(java.lang.Object root,
                     java.util.HashMap removedMembrane,
                     java.util.HashSet addedMembrane,
                     java.util.HashSet modifiedMembrane,
                     java.util.HashMap removedAtom,
                     java.util.HashSet addedAtom,
                     java.util.HashSet modifiedAtom)

end

public void end()

処理系からの終了通知

sync

public boolean sync()