tippers, squads, experts

Squads

Expression

• The arithmetical squad

  • Converts cast to double by multiplying by 1.0
  • Applies arithmetical operations at compile time
  • Careful not to divide by zero and not mod zero.
  • Relies on the type engine
  • Multiplication by zero? Remove whole when item has no side effect.

• The strings squad

  • Clever pushdown
  • changes equals
  • convert X.toString() to X + "" when possible
  • convert X.toString() to `"" + X' when above not possible
  • moves "" to end when possible
  • remove concatenation of empty string
  • contains

• The Boolean squad

  • Compare to true / false
  • and with true, eliminate
  • or with false, eliminate
  • X && false: convert to false when possible, i.e., X has no side effect
  • X || true: convert to false when possible, i.e., X has no side effect

Statements

• The if squad

• The Control flow squad

  • inline when possible
  • ternarize when possible
  • early return
  • sequencers

• The loops squad

• Push into initiliazers

• Move last into updaters

• Condition on return

• The switch squad

• Unification tipper

• Fall through tipper

• Sorting in a group of identical cases: tipper

• Sorting cases by sequencer level

• Remove empty switch

• The try/catch/finally squad

  • remove empty finally
  • remove empty try

Methods

• The renaming squad

  • dollar
  • cent

  • ---

  • Generic name
  • Pluarlization

• The modifiers squad

  • sort annotations
  • sort modifiers
  • remove redundant modifiers

• Extract method squad

• extract tail

• extract head

• extract segment

• extract loop

Experts

• The names expert
• The type expert
• The environment expert