package alice.test.dpp.codesegment;

import alice.codesegment.CodeSegment;
import alice.datasegment.CommandType;
import alice.datasegment.Receiver;
import alice.test.dpp.model.Fork;
import alice.test.dpp.model.Philosophy;

public class ThinkCodeSegment extends CodeSegment {

	Philosophy phil;
	Receiver arg1 = ids.create(CommandType.TAKE);
	Receiver arg2 = ids.create(CommandType.TAKE);

	public ThinkCodeSegment(Philosophy p) {
		phil = p;
		arg1.setKey(phil.getLeftFork());
		arg2.setKey(phil.getRightFork());			
	}

	@Override
	public void run() {
		System.out.println(phil.getName() + " thinking");
		Fork leftFork = arg1.asClass(Fork.class);
		Fork rightFork = arg2.asClass(Fork.class);
		new TakeForkCodeSegment(phil);
		ods.update("local", leftFork.getForkName(), leftFork);
		ods.update("local", rightFork.getForkName(), rightFork);
	}
	
}