COP 5021 Lecture -*-Outline-*-

* Static Analysis in XText

  Look at the WhileLang project's Reaching Definitions analysis

** validation classes
  WhileLangValidator.xtend
  WhileLangAssignedBeforeUseValidator.xtend

  WhileLangRDAnalysis (in validation)
    RDInfo is the vector that's the fixed-point of the RD analysis
      - constructors (new)
      - compute Analysis
      - entryFunFor()
      - exitFunFor()

** utility classes
  FreeVars (in utility), note how it follows the grammar

  AnalysisFun

  Now going bottom up:

  PropertySpace
  MaybeLabel
  Access
  PropertyVector
    PVAsMap
  FunctionVector
    AbstractFunctionVector
      FVAsMap

** tests (in edu.ucf.cs.whilelang.WhileLang.tests)

  FVTest.xtend
  RDTest.xtend