Final Access Path processing throws an internal compiler error

[tmagrino]

Added a test case displaying a bug with final access path processing in ae90a62. It appears that declaring a final local variable with a type that has a final principal field causes the InternalCompilerError thrown in JifTypeSystem_c.java on line 2014.

[tmagrino]

To reproduce run bin/jifc tests/FAPTestA.jif tests/FAPTestB.jif which produces:

jifc: FinalParams has not run yet
1 error.
Exception in thread "main" polyglot.util.InternalCompilerError: FinalParams has not run yet
        at jif.types.JifTypeSystem_c.processFAP(JifTypeSystem_c.java:2014)
        at jif.types.JifTypeSystem_c.processFAP(JifTypeSystem_c.java:1965)
        at jif.types.JifTypeSystem_c.processFAP(JifTypeSystem_c.java:1955)
        at jif.extension.JifLocalDeclExt.labelCheckStmt(JifLocalDeclExt.java:85)
        at jif.extension.JifStmtExt_c.labelCheck(JifStmtExt_c.java:94)
        at jif.visit.LabelChecker.labelCheck(LabelChecker.java:195)
        at jif.extension.JifBlockExt.labelCheckStmt(JifBlockExt.java:47)
        at jif.extension.JifStmtExt_c.labelCheck(JifStmtExt_c.java:94)
        at jif.visit.LabelChecker.labelCheck(LabelChecker.java:195)
        at jif.extension.JifMethodDeclExt.labelCheck(JifMethodDeclExt.java:79)
        at jif.visit.LabelChecker.labelCheck(LabelChecker.java:195)
        at jif.extension.JifClassBodyExt.labelCheck(JifClassBodyExt.java:48)
        at jif.visit.LabelChecker.labelCheck(LabelChecker.java:195)
        at jif.extension.JifClassDeclExt.labelCheck(JifClassDeclExt.java:113)
        at jif.visit.LabelChecker.labelCheck(LabelChecker.java:195)
        at jif.extension.JifSourceFileExt.labelCheck(JifSourceFileExt.java:52)
        at jif.visit.LabelChecker.labelCheck(LabelChecker.java:195)
        at jif.visit.LabelCheckPass.run(LabelCheckPass.java:35)
        at polyglot.frontend.Scheduler.runPass(Scheduler.java:640)
        at polyglot.frontend.Scheduler.runGoal(Scheduler.java:530)
        at polyglot.frontend.Scheduler.attemptGoal(Scheduler.java:475)
        at polyglot.frontend.Scheduler.attemptGoal(Scheduler.java:448)
        at polyglot.frontend.Scheduler.attemptGoal(Scheduler.java:448)
        at polyglot.frontend.Scheduler.attemptGoal(Scheduler.java:448)
        at polyglot.frontend.Scheduler.attemptGoal(Scheduler.java:448)
        at polyglot.frontend.Scheduler.attemptGoal(Scheduler.java:448)
        at polyglot.frontend.Scheduler.attemptGoal(Scheduler.java:399)
        at polyglot.frontend.Scheduler.runToCompletion(Scheduler.java:331)
        at jif.JifScheduler.runToCompletion(JifScheduler.java:276)
        at polyglot.frontend.Compiler.runToGoal(Compiler.java:237)
        at polyglot.frontend.Compiler.compile(Compiler.java:189)
        at polyglot.frontend.Compiler.compileFiles(Compiler.java:179)
        at polyglot.main.Main.start(Main.java:182)
        at polyglot.main.Main.start(Main.java:133)
        at polyglot.main.Main.main(Main.java:378)