/*
* Created on Oct 25, 2005
*/
package x10.wala.ssa;
import java.util.Collection;
import java.util.Collections;
import com.ibm.wala.util.debug.Assertions;
import com.ibm.wala.ssa.SSAInstruction;
import com.ibm.wala.ssa.SSAInstructionFactory;
import com.ibm.wala.ssa.SymbolTable;
public class NextInstruction extends SSAInstruction {
public NextInstruction() {
}
public SSAInstruction copyForSSA(SSAInstructionFactory insts, int[] defs, int[] uses) {
return ((AstX10InstructionFactory)insts).Next();
}
public String toString(SymbolTable symbolTable) {
return "next";
}
/**
* @see com.ibm.domo.ssa.SSAInstruction#visit(IVisitor)
*/
public void visit(IVisitor v) {
((AstX10InstructionVisitor) v).visitNext(this);
}
/**
* @see com.ibm.domo.ssa.SSAInstruction#getNumberOfUses()
*/
public int getNumberOfUses() {
return 0;
}
/**
* @see com.ibm.domo.ssa.SSAInstruction#getUse(int)
*/
public int getUse(int j) {
Assertions.UNREACHABLE();
return -1;
}
public int hashCode() {
return (6173 ^ 4423 ^ 13);
}
/* (non-Javadoc)
* @see com.ibm.domo.ssa.Instruction#isPEI()
*/
public boolean isPEI() {
return false;
}
/* (non-Javadoc)
* @see com.ibm.domo.ssa.Instruction#isFallThrough()
*/
public boolean isFallThrough() {
return true;
}
/* (non-Javadoc)
* @see com.ibm.domo.ssa.Instruction#getExceptionTypes()
*/
public Collection getExceptionTypes() {
return Collections.EMPTY_SET;
}
}