package org.overture.codegen.vdm2jml.predgen.info;
import org.overture.codegen.vdm2jml.runtime.V2J;
public class SeqInfo extends AbstractSetSeqInfo
{
public static final String IS_SEQ_METHOD = "isSeq";
public static final String IS_SEQ1_METHOD = "isSeq1";
protected boolean isSeq1;
public SeqInfo(boolean optional, AbstractTypeInfo elementType,
boolean isSeq1)
{
super(optional, elementType);
this.isSeq1 = isSeq1;
}
@Override
public String consCollectionCheck(String arg)
{
// e.g. (V2J.isSeq(seq) && (\forall int i; 0 <= i && i < V2JL.size(seq); Utils.is_nat(V2JL.get(seq,i))));
return consSubjectCheck(V2J.class.getSimpleName(), isSeq1
? IS_SEQ1_METHOD : IS_SEQ_METHOD, arg);
}
}