next up previous
Next: Types, values, and variables Up: An Analyzer for Java Previous: Assignment operators


Check Context Conditions

Context.lido[1]:
#define IsReferenceType(x)\
  OR(OR(EQ(x,classType),GetIsInterfaceType(x,0)),IsCoercible(x,objectType))
Types, values, and variables[4]
Names[5]
Classes[11]
Blocks and statements[14]
Expressions[26]
This macro is attached to a product file.

Context.specs[2]:
Instantiate required modules[7]
This macro is attached to a product file.

Context.pdl[3]:
Property definitions[10]
This macro is attached to a product file.



Subsections

2008-09-11