[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

Specification javavalue
data specification 
   using label , 
         initstate , 
         bytes
 , 
         storekeys , 
         references , 
         float , 
         javachar
   javavalue
   = intval( . .intval : int) with is_integervalue | byteval( . .byteval : byte) with is_bytevalue | shortval( . .shortval : short) with is_shortvalue | 
     refval( . .refval : reference) with is_referencevalue | boolval( . .boolval : bool) with is_boolvalue | 
     charval( . .charval : javachar) with is_charvalue | longval( . .longval : long) with is_longvalue | 
     floatval( . .floatval : float) with is_floatvalue | doubleval( . .doubleval : double) with is_doublevalue | 
     stringval( . .stringval : string) with is_stringvalue | 
      . ++ . ( . .firstval : javavalue;  . .restval : javavalue) prio 9 left  with is_valuelist | noval with is_novalue | 
     typeval( . .type : javatype) with is_typevalue | initval( . .istate : initstate) with is_initvalue | 
     break( . .label : label; comment: Selects the label from a break reason.) comment: A break-statement was executed.; with is_break_mode | 
     continue( . .label : label; comment: Selects the label from a continue reason.) comment: A continue-statement was executed.;
      with is_continue_mode | 
     return( . .val : javavalue; comment: Selects the value from a return reason.;  . .type : javatype) comment: A return-statement with return-value 
                                                   was executed.;
      with is_return_mode | 
     throw
     ( . .refval : reference; comment: Selects the reference from a thrown 
                                                   exception.; 
       . .type : javatype) comment: a thrown exception;
      with is_throw_mode
   ;
   variables 
      val, val0, val1, val2 : javavalue; 
end data specification