예제 #1
0
 // ***** VDMTOOLS START Name=setNameList KEEP=NO
 public void setNameList(final Vector parg) throws CGException {
   ivNameList = (Vector) UTIL.ConvertToList(UTIL.clone(parg));
 }
예제 #2
0
 // ***** VDMTOOLS START Name=setId KEEP=NO
 public void setId(final String parg) throws CGException {
   ivId = UTIL.ConvertToString(UTIL.clone(parg));
 }
예제 #3
0
 // ***** VDMTOOLS START Name=setExpression KEEP=NO
 public void setExpression(final IOmlExpression parg) throws CGException {
   ivExpression = (IOmlExpression) UTIL.clone(parg);
 }
예제 #4
0
 // ***** VDMTOOLS START Name=setRngType KEEP=NO
 public void setRngType(final IOmlType parg) throws CGException {
   ivRngType = (IOmlType) UTIL.clone(parg);
 }
예제 #5
0
 // ***** VDMTOOLS START Name=setRequiresExpression KEEP=NO
 public void setRequiresExpression(final IJmlExpression parg) throws CGException {
   ivRequiresExpression = (IJmlExpression) UTIL.clone(parg);
 }
예제 #6
0
 // ***** VDMTOOLS START Name=setOperator KEEP=NO
 public void setOperator(final IJmlUnaryOperator parg) throws CGException {
   ivOperator = (IJmlUnaryOperator) UTIL.clone(parg);
 }