Examples with ArrayType verdict.vdm.vdm_data.ArrayType used on opensource projects

Example 1 with ArrayType

use of verdict.vdm.vdm_data.ArrayType in project VERDICT by ge-high-assurance.

the class VerdictLustreListener method exitArrayType.

/**
 * Extract an array type.
 */
@Override
public void exitArrayType(LustreParser.ArrayTypeContext ctx) {
    ArrayType arrayType = new ArrayType();
    arrayType.setDataType(ctx.type().dataType);
    arrayType.setDimension(ctx.expr().getText());
    ctx.dataType = new DataType();
    ctx.dataType.setArrayType(arrayType);
}