package alice.test.dpp.codesegment.philosophy;

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

public class CheckForkOwnerCodeSegment extends CodeSegment {

	Receiver arg1 = ids.create(CommandType.TAKE);
	Receiver arg2 = ids.create(CommandType.TAKE);
	
	public CheckForkOwnerCodeSegment(String pName, String forkName) {
		arg1.setKey(pName);
		arg2.setKey(forkName);
	}
	
	@Override
	public void run() {
		Philosophy phil = arg1.asClass(Philosophy.class);
		Fork fork = arg2.asClass(Fork.class);
		if (fork.ownerEquals(phil.getName())) {
			
			phil.checkForkFlag(fork.getForkName());
		}
		new TakeForkManagerCodeSegment(phil.getName());
		ods.update("local", phil.getName(), phil);
		ods.update("local", fork.getForkName(), fork);
	}
	
}