Actually ArrayType already implements this. Tested in TestValue.java.
or more complex cases such as print arr[1].foo[2]
Should work. eg. from funit-address: (fhpd) print (*my_cars_list[0]).skoda [0.0] {2,3} (fhpd) print (*my_cars_list[0]).skoda[0] [0.0] 2
[] implemented as a Type Operator. frysk-core/frysk/expr/ChangeLog 2007-10-26 Teresa Thomas <tthomas@redhat.com> * CExprEvaluator.g (INDEX): New. * CExpr.g (INDEX): New. frysk-core/frysk/value/ChangeLog 2007-10-26 Teresa Thomas <tthomas@redhat.com> * TestArray.java (testIndexOneD): New. (testIndexTwoD): New. * ArrayType.java (index): New. * Type.java (index): New. * TypeDecorator.java (index): New.