New "print" operator to dump the IA internal structure to standard output

[trinnguyen]

Syntax

• Add new statement to init section: print that accept one argument of type sys
• Example:

actions { a, b }
proc P {
  act { a?, b! }
}
proc Q{}
init {
  print(P())
  print(product(P(), Q()))
  sys q = Q()
  print(q)
}

Implementation

• Update grammar:
  • Ia.xtext
  • Update rule: GSysExpr to support another option: GSysPrintExpr
  • Add new rule: GSysPrintExpr
• Make sure valid type checking in init section:
  • ModelValidatorProxy
  • ModelInitTypeChecker
  • An example of invalid typing: sys t1 = print(P())
• Update runtime
  • InternalSysRuntime: handle the new print expression
• Implement new method in runtime provider for printing the IAM and MIA
  • RuntimeProviderInterface
  • IamRuntimeProvider
  • MiaRuntimeProvider
• Implement the operator by just printing the data to standard output (use debugger variables section as reference)

[trinnguyen]

This is a good one to practice implementing new operator