method com.dmdirc.addons.ui_swing.components. 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.addons.ui_swing.components. EtchedLineBorder$BorderSide(String, int)










method com.dmdirc.addons.ui_swing.components. EtchedLineBorder$BorderSide__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.addons.ui_swing.components. 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.addons.ui_swing. components.EtchedLineBorder$1__static_init.new int[](EtchedLineBorder$1__static_init#1)[...])
pre(soft) height >= -231+1
pre(soft) width >= -231+2
presumptioncom.dmdirc.addons.ui_swing.components. EtchedLineBorder_BorderSide:ordinal(...)@70 in {0,1}
presumptioncom.dmdirc.addons.ui_swing.components. EtchedLineBorder_BorderSide:ordinal(...)@82 in {0,1}
test_vectorcom.dmdirc.addons.ui_swing.components. 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.addons.ui_swing. components.EtchedLineBorder:getHighlightColor(Compo nent)
  method not available - call not analyzedInfocall on Color com.dmdirc.addons.ui_swing. components.EtchedLineBorder:getShadowColor(Componen t)











method com.dmdirc.addons.ui_swing.components. EtchedLineBorder$1__static_init
pre(soft) init'ed(com.dmdirc.addons.ui_swing. components.EtchedLineBorder$BorderSide__static_ init.new EtchedLineBorder$BorderSide[](EtchedLineBo rder$BorderSide__static_init#3)[...])
presumptioncom.dmdirc.addons.ui_swing.components. EtchedLineBorder_BorderSide:ordinal(...)@70 in {0,1}
presumptioncom.dmdirc.addons.ui_swing.components. EtchedLineBorder_BorderSide:ordinal(...)@70 - values(...).length in range
postnew int[](EtchedLineBorder$1__static_init#1) num objects == 1









  method not available - call not analyzedInfocall on int com.dmdirc.addons.ui_swing.components. EtchedLineBorder$BorderSide:ordinal()
  method not available - call not analyzedInfocall on int com.dmdirc.addons.ui_swing.components. EtchedLineBorder$BorderSide:ordinal()










  method not available - call not analyzedInfocall on Color com.dmdirc.addons.ui_swing. components.EtchedLineBorder:getShadowColor(Componen t)
  method not available - call not analyzedInfocall on Color com.dmdirc.addons.ui_swing. components.EtchedLineBorder:getHighlightColor(Compo nent)










  method not available - call not analyzedInfocall on int com.dmdirc.addons.ui_swing.components. EtchedLineBorder$BorderSide:ordinal()