UnknownLeaf.java

package org.overture.codegen.vdm2jml.predgen.info;

import java.util.LinkedList;
import java.util.List;

import org.overture.codegen.vdm2jml.util.NameGen;

public class UnknownLeaf extends AbstractTypeInfo
{
	public UnknownLeaf()
	{
		super(false);
	}

	@Override
	public List<LeafTypeInfo> getLeafTypesRecursively()
	{
		return new LinkedList<>();
	}

	@Override
	public String consCheckExp(String enclosingClass, String javaRootPackage,
			String arg, NameGen nameGen)
	{
		return "true";
	}
}