package org.overture.codegen.vdm2jml.predgen.info;
import java.util.LinkedList;
import java.util.List;
import org.overture.codegen.vdm2jml.util.NameGen;
public class RecursiveLeaf extends AbstractTypeInfo
{
public RecursiveLeaf()
{
super(false);
}
@Override
public List<LeafTypeInfo> getLeafTypesRecursively()
{
return new LinkedList<>();
}
@Override
public String consCheckExp(String enclosingClass, String javaRootPackage,
String arg, NameGen nameGen)
{
return "false";
}
}