class UnknownMethodSource implements MethodSource {
  UnknownMethodSource() {
  }

  public Body getBody(SootMethod m, String phaseName) {<FILL_FUNCTION_BODY>}
}

    // we ignore options here.
    // actually we should have default option verbatim,
    // and apply phase options.
    // in fact we probably want to allow different
    // phase options depending on app vs. lib.

    throw new RuntimeException("Can't get body for unknown source!");

    // InputStream classFileStream;

    // try {
    // classFileStream = SourceLocator.getInputStreamOf(m.getDeclaringClass().toString());
    // }
    // catch(ClassNotFoundException e) {
    // throw new RuntimeException("Can't find jimple file: " + e);
    // }

    // Parser.parse(classFileStream, m.getDeclaringClass());
  
<no_super_class>