Class ConcreteSequence


  • public final class ConcreteSequence
    extends java.lang.Object
    The ConcreteSequence class describes a test sequence, a symbolic test program (or a part of a test program) that consists of concrete calls which can be simulated on the microprocessor model or dumped to textual representation (assembler code). The sequence is split into tree parts: (1) prologue that holds the initialization code and (2) body that holds the main code (test case).
    • Method Detail

      • getSection

        public Section getSection()
      • getPrologue

        public java.util.List<ConcreteCall> getPrologue()
      • isEmpty

        public boolean isEmpty()
      • getInstructionCount

        public int getInstructionCount()
      • getTitle

        protected java.lang.String getTitle()
      • setTitle

        protected void setTitle​(java.lang.String value)
      • isAllocated

        protected boolean isAllocated()
      • setAllocationAddresses

        protected void setAllocationAddresses​(long start,
                                              long end)
      • getStartAddress

        protected long getStartAddress()
      • getEndAddress

        protected long getEndAddress()
      • setSelfChecks

        public void setSelfChecks​(java.util.List<SelfCheck> selfChecks)
      • getSelfChecks

        public java.util.List<SelfCheck> getSelfChecks()