Skip to content

Latest commit

 

History

History
110 lines (99 loc) · 2.27 KB

thoughts.md

File metadata and controls

110 lines (99 loc) · 2.27 KB
Raw

Primary Design Goals

  • Correct
  • Extensible
  • Installable
  • Intuitive

Secondary Design Principles

  • Configurable
  • Quick

Warnings (Style/Good Practice)

Those things that will compile but should be mentioned

  • if (list.size >0 && list != null) => swap order of conditions
  • return 5; doMore(); => unreachable statement
  • throw new Exception(); doMore(); => unreachable statement
  • a = a + b => a += b
  • use @Override
  • overloading instead of overriding
  • fallthrough
  • casting
  • static abuse
  • unused imports
  • unused variables/functions

CLI Usage

Correct program but bad invocation of javac or java.

  • missing flags/flag arguments
  • malformed arguments
  • no changes since last save
  • not all files have been compiled
  • mismatched extensions

Compile Errors

  • Typo forgiveness
  • Undeclared variables
  • Variables not in scope
  • (possibly) Uninitialized variables
  • Undeclared class
  • Undeclared method
  • missing import
  • type mismatch
    • method arguments
    • method return statements
    • variable declaration vs. initialization
    • comparsion
    • arithmetic
  • array vs. arraylist confusion
  • not all branches return
  • trying to override private/static
  • missing return statement
  • not all branches initialize
  • variable is statically null
  • accessing instance member from static context
  • malformed function declaration
  • malformed class declaration
  • local variables have modifiers
  • missing new
  • primitives in generics
  • call non-static from static context
  • access modifier in local vars
  • unchecked exceptions

Anticipated Challenges

  • Generics
  • Handling of 3rd-party jars
  • Lambdas
  • anonymous classes
  • exceptions

TODO

  • Gather corpus of correct and incorrect files of various degrees of difficulty for testing
  • Create symbol table
  • Type checking visitor
  • Syntactic pre-processor
  • Parallel invocation of javac and capture/internalization of any errors
  • usage correction
  • grammar for error messages
  • (time permitting) config files
  • testing framework
    • API to mock up specific errors
    • API to assert errors
  • error messages separate

Usage

  • options

    • advise, dont compile
    • verbose
    • debug
    • directory
    • classpath
    • help
    • version
    • quiet

  • config stuff

    • warnings off
    • warnings are errors

  • accept as many java or class files