public static Term wrap(Term t, String label, Ellipses ellipses) {
Cell cell = new Cell(t.getLocation(), t.getFilename());
cell.setLabel(label);
cell.setEllipses(ellipses);
cell.setContents(t);
return cell;
}
public static Term defaultTerm(Term v, org.kframework.kil.loader.Context context) {
String sort = v.getSort();
KSort ksort = KSort.getKSort(sort).mainSort();
if (ksort.isDefaultable()) return new Empty(ksort.toString());
GlobalSettings.kem.register(
new KException(
ExceptionType.WARNING,
KExceptionGroup.COMPILER,
"Don't know the default value for term " + v.toString() + ". Assuming .K",
v.getFilename(),
v.getLocation()));
return KSequence.EMPTY;
}