method com.dmdirc.installer.ui.EtchedLineBorder__static_ init










method EtchedLineBorder$BorderSide[] values()
pre(soft) init'ed($VALUES[...])
postreturn_value == &new EtchedLineBorder$BorderSid e[](values#1)
postnew EtchedLineBorder$BorderSide[](values#1) num objects == 1
postreturn_value.length == 2
postreturn_value[...] == One-of{$VALUES[...], undefined}

method EtchedLineBorder$BorderSide valueOf(String)
postinit'ed(return_value)

method void com.dmdirc.installer.ui.EtchedLineBorder$Bord erSide(String, int)










method com.dmdirc.installer.ui.EtchedLineBorder$BorderSid e__static_init
post$VALUES == &new EtchedLineBorder$BorderSide[](E tchedLineBorder$BorderSide__static_init#3)
postBOTTOM == &new EtchedLineBorder$BorderSide(Etch edLineBorder$BorderSide__static_init#2)
post$VALUES[1] == &new EtchedLineBorder$BorderSide( EtchedLineBorder$BorderSide__static_init#2)
postTOP == &new EtchedLineBorder$BorderSide(EtchedL ineBorder$BorderSide__static_init#1)
post$VALUES[0] == &new EtchedLineBorder$BorderSide( EtchedLineBorder$BorderSide__static_init#1)
postnew EtchedLineBorder$BorderSide(EtchedLineBorder$Bo rderSide__static_init#1) num objects == 1
postnew EtchedLineBorder$BorderSide(EtchedLineBorder$Bo rderSide__static_init#2) num objects == 1
postnew EtchedLineBorder$BorderSide[](EtchedLineBorder$ BorderSide__static_init#3) num objects == 1
post$VALUES.length == 2
unanalyzedcall on java.lang.Enum










method void com.dmdirc.installer.ui.EtchedLineBorder(int, EtchedLineBorder$BorderSide)
postthis.side == side
postinit'ed(this.side)










method void paintBorder(Component, Graphics, int, int, int, int)
preg != null
preinit'ed(this.etchType)
prethis.side != null
prex <= 231
prey <= 231
pre(soft) init'ed(com.dmdirc.installer.ui. EtchedLineBorder$1__static_init.new int[](EtchedLineBorder$1__static_init#1)[...])
pre(soft) height <= 232-6
pre(soft) width <= 232-6
presumptioncom.dmdirc.installer.ui.EtchedLineBorder_ BorderSide:ordinal(...)@75 in {0,1}
presumptioncom.dmdirc.installer.ui.EtchedLineBorder_ BorderSide:ordinal(...)@88 in {0,1}
test_vectorcom.dmdirc.installer.ui.EtchedLineBorder$1__static_ init.new int[](EtchedLineBorder$1__static_ init#1)[...]: {1}, {2}, {-231..0, 3..232-1}
test_vectorthis.etchType: {-231..0, 2.. 232-1}, {1}









  method not available - call not analyzedInfocall on Color com.dmdirc.installer.ui. EtchedLineBorder:getHighlightColor(Component)
  method not available - call not analyzedInfocall on Color com.dmdirc.installer.ui. EtchedLineBorder:getShadowColor(Component)











method com.dmdirc.installer.ui.EtchedLineBorder$1__ static_init
pre(soft) init'ed(com.dmdirc.installer.ui. EtchedLineBorder$BorderSide__static_init.new EtchedLineBorder$BorderSide[](EtchedLineBorder$Bor derSide__static_init#3)[...])
presumptioncom.dmdirc.installer.ui.EtchedLineBorder_ BorderSide:ordinal(...)@75 in {0,1}
presumptioncom.dmdirc.installer.ui.EtchedLineBorder_ BorderSide:ordinal(...)@75 - values(...).length in range
postnew int[](EtchedLineBorder$1__static_init#1) num objects == 1









  method not available - call not analyzedInfocall on int com.dmdirc.installer.ui. EtchedLineBorder$BorderSide:ordinal()
  method not available - call not analyzedInfocall on int com.dmdirc.installer.ui. EtchedLineBorder$BorderSide:ordinal()










  method not available - call not analyzedInfocall on Color com.dmdirc.installer.ui. EtchedLineBorder:getShadowColor(Component)
  method not available - call not analyzedInfocall on Color com.dmdirc.installer.ui. EtchedLineBorder:getHighlightColor(Component)










  method not available - call not analyzedInfocall on int com.dmdirc.installer.ui. EtchedLineBorder$BorderSide:ordinal()