* Impl of IMethod isSynthetic and isWalaSynthetic So far IMethod.isSynthetic referred to WALA-generated helper functions and there was no equivalent to check whether an IMethod is synthetic in terms of compiler-generated. To make naming consistent this patch first renames the isSynthetic to isWalaSynthetic to clearly indicate that a given IMethod was generated by WALA. Then, we re-introduce isSynthetic that from now on checks whether an IMethod is synthetic/compiler-generated (referring to the synthetic flag in bytecode) * Implementation of IClass.isSynthetic Complementary to IMethod.isSynthetic, this method checks whether an IClass is compiler-generated. * updated JavaDoc |
||
---|---|---|
.. | ||
domain | ||
flow | ||
model | ||
prefixtransfer | ||
spec | ||
synthmethod | ||
util |