Class Command


  • public class Command
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected long pointer  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void deletePointer()  
      protected void deletePointer​(long pointer)  
      java.lang.String getCommandName()
      Get the name for this command, e.g.
      long getPointer()  
      java.lang.String invoke​(Solver solver, SymbolManager symbolManager)
      Invoke the command on the solver and symbol manager sm, prints the result to output stream out.
      boolean isNull()  
      java.lang.String toString()  
      protected java.lang.String toString​(long pointer)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • pointer

        protected long pointer
    • Method Detail

      • deletePointer

        protected void deletePointer​(long pointer)
      • invoke

        public java.lang.String invoke​(Solver solver,
                                       SymbolManager symbolManager)
        Invoke the command on the solver and symbol manager sm, prints the result to output stream out.
        Parameters:
        solver - The solver to invoke the command on.
        symbolManager - The symbol manager to invoke the command on.
        Returns:
        the output of invoking the command.
      • toString

        protected java.lang.String toString​(long pointer)
        Returns:
        A string representation of this result.
      • getCommandName

        public java.lang.String getCommandName()
        Get the name for this command, e.g. "assert".
        Returns:
        The name of this command.
      • isNull

        public boolean isNull()
        Returns:
        True if this command is null.
      • getPointer

        public long getPointer()
      • deletePointer

        public void deletePointer()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object