Sickness has ended much so, things are better health wise.
Ok so, I will have a
canStaticCast verification check which determines if a
given class can statically at compile time be casted to another class. This
only is capable of being used to determine if a given class is a super class
of another. So for example an
Integer visible as
Object is not castable
Object, but it is castable to
The invoke check needs the name and type, because there could be a super call to say a super constructor. In fact I need to figure out how the constructed this is to be handled. I will need a special identifier for that.
Ok so the verification state can be adjusted a bit with a method which can turn a descriptor and an instance type to an array of arguments for the Java stack.