/**
* Copyright (c) 2009-2011, The HATS Consortium. All rights reserved.
* This file is licensed under the terms of the Modified BSD License.
*/
package deadlock.analyser.factory;
import java.util.List;
import com.gzoumix.semisolver.term.Term;
public class MainMethodContract extends MethodContract {
public MainMethodContract(Contract cp, Contract cf) {
super(null, cp, cf);
// TODO Auto-generated constructor stub
}
@Override
public String toString() {
return "MAIN method" + " < " + (subterms.get(1).toString()) + " , " + (subterms.get(2).toString()) + " > ";
}
}