DNSCommand.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void access$000(DNSCommand, InputWindow, bool, String, Object[])

    • Kind Annotation Text
    prex0 != null

  • void access$100(DNSCommand, InputWindow, bool, String, Object[])

    • Kind Annotation Text
    prex0 != null

  • void com.dmdirc.addons.dns.DNSCommand$1(DNSCommand, CommandArguments, InputWindow, bool)

    • Kind Annotation Text
    postinit'ed(this.val$args)
    postinit'ed(this.val$isSilent)
    postinit'ed(this.val$origin)
    postthis.val$args == Param_2
    postthis.val$isSilent == Param_4
    postthis.val$origin == Param_3

  • com.dmdirc.addons.dns.DNSCommand$1__static_init

    • Kind Annotation Text

  • void com.dmdirc.addons.dns.DNSCommand()

    • Kind Annotation Text

  • com.dmdirc.addons.dns.DNSCommand__static_init

    • Kind Annotation Text

  • void execute(InputWindow, bool, CommandArguments)

    • Kind Annotation Text
    preargs != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@54 >= 1
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)@49 != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)@54 != null
    unanalyzedcall on java.util.TimerTask
    test_vectorcom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@49: {1..+Inf}, {0}

  • String getHelp()

    • Kind Annotation Text
    postreturn_value == &amp;"dns <IP|hostname> - Performs DNS lookup of the specified ip.hostname.nickname"

  • String getName()

    • Kind Annotation Text
    postreturn_value == &amp;"dns"

  • void run()

    • Kind Annotation Text
    prethis.val$args != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@59 >= 1
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@60 >= 1
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@64 >= 1
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)@59 != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)@60 != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)@64 != null
    presumptioncom.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@59 != null
    unanalyzedcall on com.dmdirc.addons.dns.DNSCommand:sendLine
    unanalyzedcall on java.lang.Object:toString
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.net.InetAddress:getAllByName
    unanalyzedcall on java.net.InetAddress:getByName
    unanalyzedcall on java.net.InetAddress:getHostAddress
    unanalyzedcall on java.net.InetAddress:getHostName
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.List:add
    test_vectorjava.lang.String:matches(...)@59: {0}, {1}

  • bool showInHelp()

    • Kind Annotation Text
    postreturn_value == 1