AbstractSetSeqInfo.java

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

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

public abstract class AbstractSetSeqInfo extends AbstractCollectionInfo
{
	public static final String GET_METHOD = "get";

	protected AbstractTypeInfo elementType;

	public AbstractSetSeqInfo(boolean optional, AbstractTypeInfo elementType)
	{
		super(optional);
		this.elementType = elementType;
	}

	@Override
	public String consElementCheck(String enclosingClass,
			String javaRootPackage, String arg, NameGen nameGen, String iteVar)
	{
		String elementArg = consSubjectCheckExtraArg(V2J.class.getSimpleName(), GET_METHOD, arg, iteVar);
		return elementType.consCheckExp(enclosingClass, javaRootPackage, elementArg, nameGen);
	}
}