method net.sourceforge.pebble.web.action.ActionFactory__ static_init
postinit'ed(log)









  infomethod not available-- call on Log org.apache.commons.logging. LogFactory:getLog(Class)











method void net.sourceforge.pebble.web.action. ActionFactory(String)
pre(soft) log != null
postthis.actionMappingFileName == actionMappingFileName
postinit'ed(this.actionMappingFileName)
postthis.actions == &new HashMap(ActionFactory#1)
postnew HashMap(ActionFactory#1) num objects == 1
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getClassLoader
unanalyzedcall on java.lang.ClassLoader:getResourceAsStream
unanalyzedcall on java.util.Properties
unanalyzedcall on java.util.Properties:load
unanalyzedcall on java.util.Properties:propertyNames
unanalyzedcall on java.util.Enumeration:hasMoreElements
unanalyzedcall on java.util.Enumeration:nextElement
unanalyzedcall on java.util.Properties:getProperty
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.lang.Exception:getMessage
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.lang.Exception:printStackTrace










method void init()
pre(soft) log != null
pre(soft) init'ed(this.actionMappingFileName)
pre(soft) this.actions != null
presumptionjava.lang.Class:getClassLoader(...)@75 != null
presumptionjava.lang.Object:getClass(...)@75 != null
presumptionjava.util.Properties:propertyNames(...)@80 != null









  infomethod not available-- call on void org.apache.commons.logging. Log:error(Object, Throwable)











method Action getAction(String)
prethis.actions != null
presumptionjava.lang.Class:getClassLoader(...)@108 != null
presumptionjava.lang.ClassLoader:loadClass(...)@108 != null
presumptionjava.lang.Object:getClass(...)@108 != null
presumptionjava.util.Map:containsKey(...)@107 == 1
postreturn_value != null
unanalyzedcall on java.lang.Exception