public static TypedOperation createArrayElementAssignment(ArrayType arrayType){
  List<Type> typeList=new ArrayList<>();
  typeList.add(arrayType);
  typeList.add(JavaTypes.INT_TYPE);
  typeList.add(arrayType.getComponentType());
  TypeTuple inputTypes=new TypeTuple(typeList);
  return new TypedTermOperation(new ArrayElementSet(arrayType.getComponentType()),inputTypes,JavaTypes.VOID_TYPE);
}

public static TypedOperation createArrayElementAssignment ( ArrayType arrayType ) { List < Type > typeList = new ArrayList < > ( ) ; typeList . add ( arrayType ) ; typeList . add ( JavaTypes . INT_TYPE ) ; typeList . add ( arrayType . getComponentType ( ) ) ; TypeTuple inputTypes = new TypeTuple ( typeList ) ; return new TypedTermOperation ( new ArrayElementSet ( arrayType . getComponentType ( ) ) , inputTypes , JavaTypes . VOID_TYPE ) ; }
creates an operation to assign a value to an array element .
