assets/developer-notes/stephanie-gawroriski/2017/09/16.mkd

   1 # 2017/09/16
   2
   3 ## 19:48
   4
   5 Sickness has ended much so, things are better health wise.
   6
   7 ## 19:59
   8
   9 Ok so, I will have a `canStaticCast` verification check which determines if a
  10 given class can statically at compile time be casted to another class. This
  11 only is capable of being used to determine if a given class is a super class
  12 of another. So for example an `Integer` visible as `Object` is not castable
  13 to `Integer` from `Object`, but it is castable to `Object` from `Integer`.
  14
  15 ## 20:05
  16
  17 The invoke check needs the name and type, because there could be a super call
  18 to say a super constructor. In fact I need to figure out how the constructed
  19 this is to be handled. I will need a special identifier for that.
  20
  21 ## 20:42
  22
  23 Ok so the verification state can be adjusted a bit with a method which can
  24 turn a descriptor and an instance type to an array of arguments for the Java
  25 stack.