|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
ASTNode class is a unification of all syntax-related items that are dealt with in loading
source programs. ATMega128L class represents the Microcontroller instance that has all the
hardware parameters of the ATMega128L microcontroller as produced by Atmel Corporatation.ADCInput interface is used by inputs into the analog to digital converter.ControlRegister defines the behavior of the ADC control register,DataRegister defines the behavior of the ADC's 10-bit data register.MUXRegister defines the behavior of the ADMUX register.Timer0 is the default 8-bit timer on the ATMega128L.Timer1 is a 16-bit timer available on the ATMega128L.Timer16Bit class emulates the functionality and behavior of a 16-bit timer on the
Atmega128L. ControlRegister is an abstract class describing the control registers of a 16-bit
timer.ControlRegisterA describes the TCCRnA control register associated with a 160bit
timer. ControlRegisterA describes the TCCRnB control register associated with a 160bit
timer. ControlRegisterA describes the TCCRnA control register associated with a 16-bit
timer. PairedRegister class exists to implement the shared temporary register for the
high byte of the 16-bit registers corresponding to a 16-bit timer. Ticker implements the periodic behavior of the timer. - ATMega128L.SimImpl.Timer16Bit.Ticker() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.Timer16Bit.Ticker
-
- ATMega128L.SimImpl.Timer2 - class avrora.sim.mcu.ATMega128L.SimImpl.Timer2.
Timer2 is an additional 8-bit timer on the ATMega128L. - ATMega128L.SimImpl.Timer2(BaseInterpreter) -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.Timer2
-
- ATMega128L.SimImpl.Timer3 - class avrora.sim.mcu.ATMega128L.SimImpl.Timer3.
Timer3 is an additional 16-bit timer available on the ATMega128L, but not in ATMega103
compatability mode.- ATMega128L.SimImpl.Timer3(BaseInterpreter) -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.Timer3
-
- ATMega128L.SimImpl.Timer8Bit - class avrora.sim.mcu.ATMega128L.SimImpl.Timer8Bit.
- Base class of 8-bit timers.
- ATMega128L.SimImpl.Timer8Bit.BufferedRegister - class avrora.sim.mcu.ATMega128L.SimImpl.Timer8Bit.BufferedRegister.
BufferedRegister implements a register with a write buffer. - ATMega128L.SimImpl.Timer8Bit.BufferedRegister() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.Timer8Bit.BufferedRegister
-
- ATMega128L.SimImpl.Timer8Bit.ControlRegister - class avrora.sim.mcu.ATMega128L.SimImpl.Timer8Bit.ControlRegister.
-
- ATMega128L.SimImpl.Timer8Bit.ControlRegister() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.Timer8Bit.ControlRegister
-
- ATMega128L.SimImpl.Timer8Bit.TCNTnRegister - class avrora.sim.mcu.ATMega128L.SimImpl.Timer8Bit.TCNTnRegister.
- Overloads the write behavior of this class of register in order to implement compare match
blocking for one timer period.
- ATMega128L.SimImpl.Timer8Bit.TCNTnRegister() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.Timer8Bit.TCNTnRegister
-
- ATMega128L.SimImpl.Timer8Bit.Ticker - class avrora.sim.mcu.ATMega128L.SimImpl.Timer8Bit.Ticker.
- The
Ticker implements the periodic behavior of the timer. - ATMega128L.SimImpl.Timer8Bit.Ticker() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.Timer8Bit.Ticker
-
- ATMega128L.SimImpl.USART - class avrora.sim.mcu.ATMega128L.SimImpl.USART.
- The USART class implements a Universal Synchronous Asynchronous Receiver/Transmitter, which is a
serial device on the ATMega128L.
- ATMega128L.SimImpl.USART.ControlRegisterA - class avrora.sim.mcu.ATMega128L.SimImpl.USART.ControlRegisterA.
- UCSRnA (
ControlRegisterA) is one of three control/status registers for the USART.
- ATMega128L.SimImpl.USART.ControlRegisterA() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.USART.ControlRegisterA
-
- ATMega128L.SimImpl.USART.ControlRegisterB - class avrora.sim.mcu.ATMega128L.SimImpl.USART.ControlRegisterB.
- UCSRnB (
ControlRegisterB) is one of three control/status registers for the USART.
- ATMega128L.SimImpl.USART.ControlRegisterC - class avrora.sim.mcu.ATMega128L.SimImpl.USART.ControlRegisterC.
- UCSRnC (
ControlRegisterC) is one of three control/status registers for the USART. - ATMega128L.SimImpl.USART.ControlRegisterC() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.USART.ControlRegisterC
-
- ATMega128L.SimImpl.USART.DataRegister - class avrora.sim.mcu.ATMega128L.SimImpl.USART.DataRegister.
- The
DataRegister class represents a Transmit Data Buffer Register for a USART. - ATMega128L.SimImpl.USART.Receiver - class avrora.sim.mcu.ATMega128L.SimImpl.USART.Receiver.
-
- ATMega128L.SimImpl.USART.Receiver() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.USART.Receiver
-
- ATMega128L.SimImpl.USART.Receiver.Receive - class avrora.sim.mcu.ATMega128L.SimImpl.USART.Receiver.Receive.
-
- ATMega128L.SimImpl.USART.Receiver.Receive() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.USART.Receiver.Receive
-
- ATMega128L.SimImpl.USART.SerialPrinter - class avrora.sim.mcu.ATMega128L.SimImpl.USART.SerialPrinter.
- A simple implementation of the USARTDevice interface that connects to a USART on the processor.
- ATMega128L.SimImpl.USART.Transmitter - class avrora.sim.mcu.ATMega128L.SimImpl.USART.Transmitter.
-
- ATMega128L.SimImpl.USART.Transmitter() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.USART.Transmitter
-
- ATMega128L.SimImpl.USART.Transmitter.Transmit - class avrora.sim.mcu.ATMega128L.SimImpl.USART.Transmitter.Transmit.
-
- ATMega128L.SimImpl.USART.Transmitter.Transmit() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.USART.Transmitter.Transmit
-
- ATMega128L.SimImpl.USART.UBRRnHReg - class avrora.sim.mcu.ATMega128L.SimImpl.USART.UBRRnHReg.
- The high byte of the Baud Rate register.
- ATMega128L.SimImpl.USART.UBRRnHReg() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.USART.UBRRnHReg
-
- ATMega128L.SimImpl.USART.UBRRnLReg - class avrora.sim.mcu.ATMega128L.SimImpl.USART.UBRRnLReg.
- The low byte of the Baud Rate register.
- ATMega128L.SimImpl.USART.UBRRnLReg() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.USART.UBRRnLReg
-
- ATMega128L.SimImpl.USART0 - class avrora.sim.mcu.ATMega128L.SimImpl.USART0.
- Emulates the behavior of USART0 on the ATMega128L microcontroller.
- ATMega128L.SimImpl.USART1 - class avrora.sim.mcu.ATMega128L.SimImpl.USART1.
- Emulates the behavior of USART1 on the ATMega128L microcontroller.
- ATMega128L.USARTDevice - interface avrora.sim.mcu.ATMega128L.USARTDevice.
- The
USARTDevice interface describes USARTs and other serial devices which can be connected
to the USART. - ATMega128L.USARTDevice.USARTFrame - class avrora.sim.mcu.ATMega128L.USARTDevice.USARTFrame.
- A
USARTFrame is a representation of the serial frames being passed between the USART
and a connected device. - ATMega128L.USARTDevice.USARTFrame(byte, boolean, int) -
Constructor for class avrora.sim.mcu.ATMega128L.USARTDevice.USARTFrame
- Constructor for a USARTFrame.
- ATMegaFamily - class avrora.sim.mcu.ATMegaFamily.
-
- ATMegaFamily(int, int, int, int, int, int) -
Constructor for class avrora.sim.mcu.ATMegaFamily
-
- ATMegaFamily.FlagRegister - class avrora.sim.mcu.ATMegaFamily.FlagRegister.
-
- ATMegaFamily.FlagRegister(int[]) -
Constructor for class avrora.sim.mcu.ATMegaFamily.FlagRegister
-
- ATMegaFamily.MaskRegister - class avrora.sim.mcu.ATMegaFamily.MaskRegister.
-
- ATMegaFamily.MaskRegister(int[], ATMegaFamily.FlagRegister) -
Constructor for class avrora.sim.mcu.ATMegaFamily.MaskRegister
-
- ATMegaFamily.MaskableInterrupt - class avrora.sim.mcu.ATMegaFamily.MaskableInterrupt.
- The
MaskableInterrupt class represents an interrupt that is controlled by
two bits in two registers: a mask bit in a mask register and a flag bit in a flag register,
at the same offset. - ATMegaFamily.MaskableInterrupt(int, ATMegaFamily.MaskRegister, ATMegaFamily.FlagRegister, int, boolean) -
Constructor for class avrora.sim.mcu.ATMegaFamily.MaskableInterrupt
-
- ATMegaFamily.Pin - class avrora.sim.mcu.ATMegaFamily.Pin.
- The
Pin class implements a model of a pin on the ATMegaFamily for the general purpose IO
ports. - ATMegaFamily.Pin(int) -
Constructor for class avrora.sim.mcu.ATMegaFamily.Pin
-
- AVRErrorReporter - class avrora.AVRErrorReporter.
- The
AVRErrorReporter contains one method per compilation error. - AVRErrorReporter() -
Constructor for class avrora.AVRErrorReporter
-
- AbstractArithmetic - class avrora.stack.AbstractArithmetic.
- The
AbstractArithmetic arithmetic class implements operations that are useful for working on
abstract integers which are represented as characters. - AbstractArithmetic() -
Constructor for class avrora.stack.AbstractArithmetic
-
- AbstractInterpreter - class avrora.stack.AbstractInterpreter.
- The
AbstractInterpreter class implements the abstract transfer function for each instruction
type. - AbstractParseException - exception avrora.syntax.AbstractParseException.
- The
AbstractParseException represents a parse exception that was thrown by one of the parsers
generated by JavaCC. - AbstractParseException(AbstractToken, int[][], String[]) -
Constructor for class avrora.syntax.AbstractParseException
- This constructor is used by the method "generateParseException" in the generated parser.
- AbstractParseException() -
Constructor for class avrora.syntax.AbstractParseException
- The following constructors are for use by you for whatever purpose you can think of.
- AbstractParseException(String) -
Constructor for class avrora.syntax.AbstractParseException
-
- AbstractParser - class avrora.syntax.AbstractParser.
- The
AbstractParser is a superclass of all parsers introduced to give multiple JavaCC-generated
parsers a parent class. - AbstractParser() -
Constructor for class avrora.syntax.AbstractParser
-
- AbstractState - class avrora.stack.AbstractState.
- The
AbstractState class represents an abstract state within the state space. - AbstractToken - class avrora.syntax.AbstractToken.
- This class is used to unify the Token classes from all JavaCC-generated parsers.
- AbstractToken() -
Constructor for class avrora.syntax.AbstractToken
-
- Action - class avrora.actions.Action.
- The
Action class defines a new action that the main driver is capable of executing. - Action(String, String) -
Constructor for class avrora.actions.Action
- The constructor for the
Action class initializes the referneces to the short name and help
string for this action as well as creating the internal options.
- AddExpr() -
Method in class avrora.syntax.atmel.AtmelParser
-
- AddExpr() -
Method in class avrora.syntax.gas.GASParser
-
- AnalyzeStackAction - class avrora.actions.AnalyzeStackAction.
- The
AnalyzeStackAction class is an extension of the Main.Action class that allows
the stack tool to be reached from the command line. - AnalyzeStackAction() -
Constructor for class avrora.actions.AnalyzeStackAction
- The default constructor of the
AnalyzeStackAction class simply creates an empty instance
with the appropriate name and help string.
- Analyzer - class avrora.stack.Analyzer.
- The
Analyzer class implements the analysis phase that determines the transition relation
between the states in the abstract state space. - Analyzer(Program) -
Constructor for class avrora.stack.Analyzer
-
- Analyzer.ContextSensitivePolicy - class avrora.stack.Analyzer.ContextSensitivePolicy.
- The
ContextSensitive class implements the context-sensitive analysis similar to 1-CFA. - Analyzer.ContextSensitivePolicy() -
Constructor for class avrora.stack.Analyzer.ContextSensitivePolicy
-
- Analyzer.MonitorThread - class avrora.stack.Analyzer.MonitorThread.
- The
MonitorThread class represents a thread instance that constantly monitors the progress
of the stack analysis and reports on the number of states explored, edges inserted, states on the
frontier, as well statistics about the propagation phase. - Analyzer.MonitorThread() -
Constructor for class avrora.stack.Analyzer.MonitorThread
-
- AnalyzerPolicy - interface avrora.stack.AnalyzerPolicy.
- The
Policy interface allows for more modular, composable analysis. - AndExpr() -
Method in class avrora.syntax.atmel.AtmelParser
-
- AndExpr() -
Method in class avrora.syntax.gas.GASParser
-
- ArchDirective() -
Method in class avrora.syntax.gas.GASParser
-
- Arithmetic - class avrora.util.Arithmetic.
- The
Arithmetic class implements a set of useful methods that are used by the simulator and
assembler for converting java types to various data types used by the machine. - Arithmetic() -
Constructor for class avrora.util.Arithmetic
-
- Assignment() -
Method in class avrora.syntax.gas.GASParser
-
- AtmelParser - class avrora.syntax.atmel.AtmelParser.
-
- AtmelParser(InputStream, Module, String) -
Constructor for class avrora.syntax.atmel.AtmelParser
-
- AtmelParser(Reader, Module, String) -
Constructor for class avrora.syntax.atmel.AtmelParser
-
- AtmelParser(InputStream) -
Constructor for class avrora.syntax.atmel.AtmelParser
-
- AtmelParser(Reader) -
Constructor for class avrora.syntax.atmel.AtmelParser
-
- AtmelParser(AtmelParserTokenManager) -
Constructor for class avrora.syntax.atmel.AtmelParser
-
- AtmelParserConstants - interface avrora.syntax.atmel.AtmelParserConstants.
-
- AtmelParserTokenManager - class avrora.syntax.atmel.AtmelParserTokenManager.
-
- AtmelParserTokenManager(SimpleCharStream) -
Constructor for class avrora.syntax.atmel.AtmelParserTokenManager
-
- AtmelParserTokenManager(SimpleCharStream, int) -
Constructor for class avrora.syntax.atmel.AtmelParserTokenManager
-
- AtmelProgramReader - class avrora.syntax.atmel.AtmelProgramReader.
- The
AtmelProgramReader is an implementation of the ProgramReader that reads
source assembly files in the Atmel style syntax. - AtmelProgramReader() -
Constructor for class avrora.syntax.atmel.AtmelProgramReader
-
- AutomatedTester - class avrora.test.AutomatedTester.
- The
AutomatedTester is a class that is designed to be an in-program test facility. - AutomatedTester() -
Constructor for class avrora.test.AutomatedTester
- The constructor for the
AutomatedTester class accepts an instance of
TestHarness that is used to create the specific test cases for each file name.
- Avrora - class avrora.Avrora.
- The
Avrora class contains several utilities relating to exceptions and errors within Avrora. - Avrora() -
Constructor for class avrora.Avrora
-
- Avrora.Error - error avrora.Avrora.Error.
- The
Error class is the base class of all errors in Avrora. - Avrora.Error(String) -
Constructor for class avrora.Avrora.Error
-
- Avrora.Error(String, String) -
Constructor for class avrora.Avrora.Error
-
- Avrora.InternalError - error avrora.Avrora.InternalError.
- The
InternalError class is a class of errors corresponding to exceptional conditions
within Avrora. - Avrora.InternalError(String) -
Constructor for class avrora.Avrora.InternalError
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ADC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ADD
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ADIW
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.AND
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ANDI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ASR
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BCLR
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BLD
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRBC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRBS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRCC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRCS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BREAK
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BREQ
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRGE
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRHC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRHS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRID
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRIE
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRLO
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRLT
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRMI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRNE
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRPL
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRSH
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRTC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRTS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRVC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BRVS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BSET
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.BST
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CALL
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CBI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CBR
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CLC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CLH
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CLI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CLN
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CLR
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CLS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CLT
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CLV
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CLZ
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.COM
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CP
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CPC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CPI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.CPSE
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.DEC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.EICALL
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.EIJMP
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ELPM
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ELPMD
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ELPMPI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.EOR
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.FMUL
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.FMULS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.FMULSU
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ICALL
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.IJMP
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.IN
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.INC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.JMP
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LD
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LDD
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LDI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LDPD
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LDPI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LDS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LPM
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LPMD
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LPMPI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LSL
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.LSR
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.MOV
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.MOVW
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.MUL
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.MULS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.MULSU
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.NEG
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.NOP
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.OR
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ORI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.OUT
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.POP
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.PUSH
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.RCALL
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.RET
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.RETI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.RJMP
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ROL
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ROR
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SBC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SBCI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SBI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SBIC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SBIS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SBIW
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SBR
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SBRC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SBRS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SEC
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SEH
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SEI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SEN
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SER
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SES
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SET
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SEV
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SEZ
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SLEEP
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SPM
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.ST
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.STD
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.STPD
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.STPI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.STS
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SUB
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SUBI
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.SWAP
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.TST
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr.WDR
-
- accept(InstrVisitor) -
Method in class avrora.core.Instr
- The
accept() method is part of the visitor pattern for instructions.
- accept(DatabaseVisitor) -
Method in class avrora.util.profiling.Database
- Accept a visitor into this database.
- accumulation -
Variable in class avrora.util.profiling.MinMaxMean
-
- action() -
Method in class avrora.sim.radio.CC1000Radio.SerialConfigurationInterface
-
- activate() -
Method in class avrora.sim.radio.CC1000Radio.Receiver
-
- activate() -
Method in class avrora.sim.radio.CC1000Radio.Transmitter
-
- activateLocalAir(Position) -
Method in class avrora.sim.radio.CC1000Radio
- activate positions
- activateLocalAir(Position) -
Method in interface avrora.sim.radio.Radio
- activate local air, by setting params
- activeModeName -
Static variable in class avrora.sim.mcu.ATMega128L.SimImpl.PowerManagement
-
- adc -
Variable in class avrora.sim.mcu.ATMega128L
-
- add(Simulator.Event, long) -
Method in class avrora.sim.util.DeltaQueue
- The
add method adds an event to be executed in the future.
- add(SimulatorThread) -
Method in class avrora.sim.util.GlobalClock
-
- add(Simulator.Probe) -
Method in class avrora.sim.util.MulticastProbe
- The
add() method allows another probe to be inserted into the multicast set.
- add(Simulator.Watch) -
Method in class avrora.sim.util.MulticastWatch
- The
add() method allows another watch to be inserted into the multicast set.
- add(char, char) -
Static method in class avrora.stack.AbstractArithmetic
- The
add() method performs addition of two abstract values.
- add(StateCache.State) -
Method in class avrora.stack.StateCache.Set
-
- add(Expr) -
Method in class avrora.syntax.ExprList
-
- addAll(StateCache.Set) -
Method in class avrora.stack.StateCache.Set
-
- addBytes(AbstractToken, AbstractToken) -
Method in class avrora.syntax.objdump.RawModule
-
- addBytes(AbstractToken, AbstractToken, AbstractToken, AbstractToken) -
Method in class avrora.syntax.objdump.RawModule
-
- addClass(String, Class) -
Method in class avrora.util.ClassMap
- The
addClass() method adds a short name (alias) for the specified class to the set of
default class names.
- addConstant(AbstractToken, Expr) -
Method in class avrora.syntax.Module
-
- addConsumer(Energy) -
Method in interface avrora.sim.EnergyControl
- add consumer
- addConsumer(Energy) -
Method in class avrora.sim.EnergyControlImpl
- add consumer
- addDataBytes(ExprList) -
Method in class avrora.syntax.Module
-
- addDataDoubleWords(ExprList) -
Method in class avrora.syntax.Module
-
- addDataWords(ExprList) -
Method in class avrora.syntax.Module
-
- addDefinition(AbstractToken, AbstractToken) -
Method in class avrora.syntax.Module
-
- addDevices() -
Method in class avrora.sim.platform.Mica
-
- addDevices() -
Method in class avrora.sim.platform.Mica2
-
- addEdge(ControlFlowGraph.Block, ControlFlowGraph.Block, String) -
Method in class avrora.core.ControlFlowGraph
- The
addEdge() method adds an edge between two blocks with a given type.
- addEdge(ControlFlowGraph.Block, ControlFlowGraph.Block) -
Method in class avrora.core.ControlFlowGraph
- The
addEdge() method adds an edge between two blocks.
- addEdge(int, int, StateCache.State) -
Method in class avrora.stack.StateTransitionGraph.StateInfo
-
- addEdge(StateCache.State, int, int, StateCache.State) -
Method in class avrora.stack.StateTransitionGraph
- The
addEdge() method adds an edge between two states in the state transition graph.
- addEscapes(String) -
Static method in class avrora.syntax.atmel.TokenMgrError
- Replaces unprintable characters by their espaced (or unicode escaped) equivalents in the given string
- addEscapes(String) -
Static method in class avrora.syntax.gas.TokenMgrError
- Replaces unprintable characters by their espaced (or unicode escaped) equivalents in the given string
- addEscapes(String) -
Static method in class avrora.syntax.objdump.TokenMgrError
- Replaces unprintable characters by their espaced (or unicode escaped) equivalents in the given string
- addFrontierState(StateCache.State) -
Method in class avrora.stack.StateTransitionGraph
- The
addFrontierState method adds a state to the frontier.
- addIndirectEdge(int, int) -
Method in class avrora.core.Program
- The
addIndirectEdge adds an indirect edge between a callsite and possible target.
- addInstance(String, Object) -
Method in class avrora.util.ClassMap
- The
addInstance() method adds a mapping between a short name (alias) and an object that is
the instance of the class represented by that short name.
- addInstr(Instr) -
Method in class avrora.core.ControlFlowGraph.Block
- The
addInstr() method adds an instruction to the end of this basic block.
- addInstruction(String, AbstractToken) -
Method in class avrora.syntax.Module
-
- addInstruction(String, AbstractToken, SyntacticOperand) -
Method in class avrora.syntax.Module
-
- addInstruction(String, AbstractToken, SyntacticOperand, SyntacticOperand) -
Method in class avrora.syntax.Module
-
- addInstruction(String, AbstractToken, SyntacticOperand, SyntacticOperand, SyntacticOperand) -
Method in class avrora.syntax.Module
-
- addLabel(int, String) -
Method in class avrora.syntax.Module.Seg
-
- addLabel(AbstractToken) -
Method in class avrora.syntax.Module
-
- addLocalMeet(GlobalClock.LocalMeet, long) -
Method in class avrora.sim.util.GlobalClock
- Adds a
LocalMeet event to the event queue of every simulator participating in the global
clock.
- addNeighbor(LocalAir) -
Method in interface avrora.sim.radio.freespace.LocalAir
- add a new node the air
- addNeighbor(LocalAir) -
Method in class avrora.sim.radio.freespace.LocalAirImpl
- add neighbor
- addPacket(Radio.RadioPacket, double, Radio) -
Method in interface avrora.sim.radio.freespace.LocalAir
- add packet to be received, called by transmitting nodes
- addPacket(Radio.RadioPacket, double, Radio) -
Method in class avrora.sim.radio.freespace.LocalAirImpl
- receive a packet
- addRadio(Radio) -
Method in interface avrora.sim.radio.RadioAir
- Add a radio to the environment.
- addRadio(Radio) -
Method in class avrora.sim.radio.SimpleAir
-
- addRadio(Radio) -
Method in class avrora.sim.radio.freespace.FreeSpaceAir
- add radio
- addRegisterName(String, AbstractToken) -
Method in class avrora.syntax.Module
-
- addVariable(String, int) -
Method in class avrora.syntax.Module
-
- add_escapes(String) -
Method in class avrora.syntax.AbstractParseException
- Used to convert raw characters to their escaped version when these raw version cannot be used as part
of an ASCII string literal.
- add_escapes(String) -
Method in class avrora.syntax.objdump.ParseException
- Used to convert raw characters to their escaped version when these raw version cannot be used as part
of an ASCII string literal.
- addrToString(int) -
Static method in class avrora.util.StringUtil
- The
addToString() method converts a numerical address (represented as a signed 32-bit
integer) and converts it to a string in the format 0xXXXX where 'X' represents a hexadecimal character.
- address -
Variable in class avrora.core.Program.Location
- The
address field records the address of this label as a byte address.
- address -
Variable in class avrora.sim.Simulator.BreakPointException
- The
address field stores the address of the instruction that caused the breakpoint.
- address -
Variable in class avrora.sim.Simulator.TimeoutException
- The
address field stores the address of the next instruction to be executed after the
timeout.
- adjustBeginLineColumn(int, int) -
Method in class avrora.syntax.atmel.SimpleCharStream
- Method to adjust line and column numbers for the start of a token.
- adjustBeginLineColumn(int, int) -
Method in class avrora.syntax.gas.SimpleCharStream
- Method to adjust line and column numbers for the start of a token.
- adjustBeginLineColumn(int, int) -
Method in class avrora.syntax.objdump.SimpleCharStream
- Method to adjust line and column numbers for the start of a token.
- advance(long) -
Method in class avrora.sim.MainClock
- The
advance() method advances the time of the clock by the number of cycles.
- advance(long) -
Method in class avrora.sim.util.DeltaQueue
- The
advance method advances timesteps through the queue by the specified number of clock
cycles, processing any events.
- advance(int) -
Method in class avrora.syntax.Module.Seg
-
- advanceCycles(long) -
Method in class avrora.sim.BaseInterpreter
-
- air -
Variable in class avrora.sim.radio.CC1000Radio
- Radio environment into which this radio broadcasts.
- align(int, int) -
Static method in class avrora.syntax.Module
-
- allEdges -
Variable in class avrora.core.ControlFlowGraph
- The
edges field contains a reference to the list of edges (instances of class
Edge) within this control flow graph.
- alpha(int) -
Static method in class avrora.util.StringUtil
-
- and(char, char) -
Static method in class avrora.stack.AbstractArithmetic
- The
and() method computes the logical bitwise AND of two abstract values.
- and(char, char, char) -
Static method in class avrora.stack.AbstractArithmetic
- The
and() method computes the logical bitwise AND of three abstract values.
- areEqual(char, char) -
Static method in class avrora.stack.AbstractArithmetic
- The
areEqual() method tests whether two abstract values are equivalent in the "abstract
value" sense.
- areKnown(char, char) -
Static method in class avrora.stack.AbstractArithmetic
- The
areKnown() method tests whether two abstract values each represent a single, fully
known value.
- argument -
Variable in class avrora.syntax.Expr.Func
-
- arguments -
Variable in class avrora.util.Options
-
- asConstant() -
Method in interface avrora.core.Operand
- The
asConstant() method uses virtual dispatch to avoid a cast.
- asConstant() -
Method in class avrora.syntax.SyntacticOperand.Expr
-
- asConstant() -
Method in class avrora.syntax.SyntacticOperand
-
- asRegister() -
Method in interface avrora.core.Operand
- The
asRegister() method uses virtual dispatch to avoid a cast.
- asRegister() -
Method in class avrora.syntax.SyntacticOperand.Register
-
- asRegister() -
Method in class avrora.syntax.SyntacticOperand
-
- av_EIMSK -
Variable in class avrora.stack.AbstractState
-
- av_REGISTERS -
Variable in class avrora.stack.AbstractState
-
- av_SREG -
Variable in class avrora.stack.AbstractState
-
- av_TIMSK -
Variable in class avrora.stack.AbstractState
-
- avrora - package avrora
-
- avrora.actions - package avrora.actions
-
- avrora.core - package avrora.core
-
- avrora.monitors - package avrora.monitors
-
- avrora.sim - package avrora.sim
-
- avrora.sim.mcu - package avrora.sim.mcu
-
- avrora.sim.platform - package avrora.sim.platform
-
- avrora.sim.radio - package avrora.sim.radio
-
- avrora.sim.radio.freespace - package avrora.sim.radio.freespace
-
- avrora.sim.util - package avrora.sim.util
-
- avrora.stack - package avrora.stack
-
- avrora.syntax - package avrora.syntax
-
- avrora.syntax.atmel - package avrora.syntax.atmel
-
- avrora.syntax.gas - package avrora.syntax.gas
-
- avrora.syntax.objdump - package avrora.syntax.objdump
-
- avrora.test - package avrora.test
-
- avrora.topology - package avrora.topology
-
- avrora.util - package avrora.util
-
- avrora.util.profiling - package avrora.util.profiling
-
- avrora.visual - package avrora.visual
-
- awakeCycles -
Variable in class avrora.monitors.SleepMonitor.Monitor
-
BaseInterpreter class represents a base class of the legacy interpreter and the generated
interpreter(s) that stores the state of the executing program, e.g. registers and flags, etc.BenchmarkAction class implements a stub of code that loads the program, runs
it through the simulator several times to collect an average execution time, and reports the
results. BenchmarkAction class simply creates an empty instance with
the appropriate name and help string.
BranchCounter class is a profiling probe that can be inserted at a branch instruction to
count the number of times the branch is taken and not taken. base field stores the cycle count of the underlying clock at the last time that this
clock was reset.
toString() method converts an 1-bit abstract value to a string representation.
bitsOf() method returns the lower 8 bits (the value bits) of the abstract value,
ignoring the known bit mask.
blocks field contains a reference to a map from Integer to
Block this map is used to lookup the basic block that starts at a particular address.
build() method constructs a new Instr instance with the given operands,
checking the operands against the constraints that are specific to each instruction.
buildReachableStateSpace() method starts at the eden state of the analysis,
maintaining a list of frontier states.
CC1000Radio class is a simulation of the CC1000 radio for use with avrora. Transmit is an event that transmits a packet of data after a one bit period delay.CurrentRegister controls various currents running through the CC1000 wiring.DummyRegister is a filler class for registers within the 7-bit address space of the
radio registers, but do not actually exist/do anything in the real radio.RadioRegister is an abstract register grouping together registers on the CC1000
radio.Receiver, but for the transmitter on the radio.
CFGAction is an Avrora action that allows a control flow graph to be generated and output
to the terminal or to a file.CFGAction class simply creates an empty instance with the
appropriate name and help string.
COMPARATOR field stores a comparator that is used in sorting basic blocks by program
order.
OptionComparator is an implementation of the java.util.Comparator
interface that is used to sort options alphabetically for printing in the help system.
ClassMap is a class that maps short names (i.e. short, lower case strings) to java classes
and can instantiate them. ClassMap class creates a new class map with the specified type,
which maps strings to instances of the specified class.
Clock class represents a clock within the simulation. ClockPrescaler class represents a clock that is another clock scaled appropriately; e.g.
8x slower.ClockPrescaler creates a new clock that is an integer multiple
slower than the clock that it is derived from.
CompilationError class represents an error in a user program, including the module
contents and line and column numbers.Context interface represents a context in which an expression in a program should be
evaluated. ControlFlowGraph represents a control flow graph for an entire program, including all
basic blocks and all procedures.Block class represents a basic block of code within the program. Edge represents an edge leaving a basic block and (optionally) arriving at another,
known basic block. Counter class is a utility for profiling programs. call() method is called by the abstract interpreter when it encounters a call
instruction within the program.
call() method is called by the abstract interpreter when it encounters a call
instruction within the program.
canon() method canonicalizes an abstract value.
canon() method canonicalizes an abstract value.
caseSensitive field controls whether label searching is case sensitive or not.
ceiling() function computes the concrete value with all unknown bits set to one.
ceiling() function computes the concrete value with all unknown bits set to one.
checkAddress() method simply checks an address against the bounds of the program and
throws an error if the address is not within the bounds.
classMap field is a hash map that maps a string to a Java class.
clazz field stores a reference to the Java class of which the objects stored in this
map are instances of.
clock field stores a reference to the MainClock instance that tracks the
clock cycles that have passed for this simulator.
commit field stores the commit number (i.e. the number of code revisions committed to
CVS since the last release).
commonMask() method computes the intersection of the known bit masks of two abstract
values.
commonMask() method computes the intersection of the known bit masks of three abstract
values.
computeNextStates() method computes the possible next states that follow the given
immutable old state and then will push them to the AnalyzerPolicy instance that was passed
in the constructor to this interpreter instance.
connect() method will connect this pin to the specified input.
connect() method will connect this pin to the specified output.
ADCInput interface to the ADC of this microcontroller.
SPIDevice interface to the SPI of this microcontroller.
contains() method tests for membership.
contents field stores a string that represents a summary of the registers that are
in this set.
copy() method returns a deep copy of this state.
couldBeEqual() method performs a "fuzzy" equality test between two abstract values.
couldBeZero method performs a "fuzzy" equality test against zero for an abstract
value.
couldBeZero() method performs a "fuzzy" equality test against zero for two abstract
values.
count field stores the accumulation of all events received by this counter.
count field stores the total number of cycles that this queue has been advanced, i.e.
cycles field stores the minimum number of cycles required to execute this
instruction.
cycles: number of cycles spend in this procedure
cyclesConsumed field stores the number of cycles consumed in doing a part of the
simulation (e.g. executing an instruction or processing an interrupt).
cyclesToMillis() method converts the specified number of cycles to a time quantity in
milliseconds.
cyclesToMillis() method converts the specified number of cycles to a time quantity in
milliseconds.
DeltaQueue class implements an amortized constant time delta-queue for processing of
scheduled events. DerivedClock class represents a clock that is derived from another clock; i.e. the derived
clock runs slower but is synchronized with the clock that it is derived from. DerivedClock creates a new clock with the specified name, driven by
the specified clock, with the specified clockrate.
data field stores a reference to the array that contains the raw data (bytes) of the
program segment.
data_end field records the address following the highest address in the program with
declared, labelled memory in the data segment.
data_start field records the lowest address of declared, labelled memory in the data
segment.
decrement() method simply subtracts 1 to the abstract value.
default_high field stores the default (initial) high value for this option.
default_low field stores the default (initial) low value for this option.
defvalue field stores the default (initial) value for this option.
defvalue field stores the default (initial) value for this option.
defvalue field stores the default (initial) value for this option.
defvalue field stores the default (initial) value for this option.
delay() method introduces a delay in the execution of the instructions of the program.
delayCycles field tracks the number of cycles that the microcontroller is delayed.
description field stores a reference to the string that represents the help item for
this option.
disableInput() method is called by the simulator when the program changes the
direction of the pin.
disableOutput() method is called by the simulator when the program changes the
direction of the pin.
distrib field stores an array that records the number of occurrences for each value in
the distribution.
distribMin field stores the value corresponding to expr 0 in the distrib
array.
distribname field stores the string that should be reported as the name of the
distribution, e.g.
divider stores the number of cycles of the underlying clock are equivalent to one
cycle of this clock.
divider stores a the ration between the clockspeed of the drive clock and the
clockspeed of this clock.
driveClock field stores a reference to the clock that the prescaler is derived from.
driveClock field stores a reference to the clock that is underlying this derived
clock.
dump() method prints out a textual dump of the program.
dup() method takes a character and a count and returns a string where that character
has been duplicated the specified number of times.
EnergyProfiler class is a monitor that tracks the power consumption of the cpu
instructions. EnergyProfiler class builds a new MonitorFactory
capable of creating monitors for each Simulator instance passed to the
newMonitor() method.
EnergyProfiler class is a monitor that tracks the power consumption of the cpu
instructions. ErrorReporter is the super class of all error reporters in Avrora. Expr class represents an expression within the program that must be evaluated to a value.
BinOp class represents a simple binary arithmetic operator such as addition,
multiplication, etc. CharLiteral class represents a character literal in the program that can be used as an
integer value.Constant class represents a integer literal (a constant) within the program.Func class represents a builtin function that is applied to an operand. RelativeAddress class represents an expression that is derived from the addition (or
subtraction) of a constant to the current byte address. StringLiteral class represents a string literal within the program. Term class is a superclass for all expressions that consist of a single lexical
token.UnOp class represents an expression that is a single operand with a unary operation
applied to it. Variable class represents a variable reference within the program.ExprList class represents a list of expressions within the program. eeprom_end field records the address following the highest address in the program with
declared, labelled memory in the eeprom segment.
eeprom_start field records the lowest address of declared, labelled memory in the
eeprom segment.
embed() method simply adds parentheses around a string.
enableInput() method is called by the simulator when the program changes the
direction of the pin.
enableOutput() method is called by the simulator when the program changes the
direction of the pin.
enabled field is true when this printer is enabled.
entry_addr field stores the address that enables the per-instruction calling
of the probe passed in the constructor.
equals() method computes object equality for basic blocks.
equals() method implements the standard java.lang.Object equality testing
contract.
evaluate() method computes the value of the expression in this context and returns
its value.
evaluate() method computes the value of the expression in this context and returns
its value.
evaluate() method computes the value of the expression in this context and returns
its value.
evaluate() method computes the value of the expression in this context and returns
its value.
evaluate() method computes the value of the expression in this context and returns
its value.
evaluate() method computes the value of the expression in this context and returns
its value.
evaluate() method computes the value of the expression in this context and returns
its value.
evaluate() method computes the value of the expression in this context and returns
its value.
evaluate() method computes the value of the expression in this context and returns its
value.
exit_addr field stores the address that disables the per-instruction calling
of the probe passed when the nesting level reaches zero.
FALSE field represents the abstract bit that is known to be false.
FileMarkingTokenManager is a subclass of the TokenManager for the Atmel parser that marks
each token that is seen with the name of the file that it came from. FileMarkingTokenManager is a subclass of the TokenManager for the Atmel parser that marks
each token that is seen with the name of the file that it came from. FileMarkingTokenManager is a subclass of the TokenManager for the Atmel parser that marks
each token that is seen with the name of the file that it came from. GlobalClock that implements a version of LocalMeet
that is appropriate for delivering radio packets.factory field stores a reference to the InterpreterFactory which
should be used to build an interpreter for this simulator.
findMaximalPath() method is a recursive procedure that discovers the maximal weight
path in the state graph.
fire() method is called when the timeout is up.
fire() method is called when the event to which it is tied happens with in the
simulator.
fire() method is called by the simulator when the interrupt is about to be
processed (i.e. it has been posted, and is not masked).
fire() method of this event is called by the individual event queues of each
simulator as they reach this point in time.
fire() method is called by the simulator when the timer event occurs.
fireAfter() method is called after the probed instruction executes.
fireAfter() method is called after the probed instruction executes.
fireAfter() method is called after the probed instruction executes.
fireAfter() method is called after the probed instruction executes.
fireAfter() method is called after the probed instruction executes.
fireAfter() method is called after the probed instruction executes.
fireAfter() method is called after the probed instruction executes.
fireAfter() method is called after the probed instruction executes.
fireBefore() method is called before the probed instruction executes.
fireAfterRead() method is called after the data address is read by the program.
fireAfterRead() method is called after the data address is read by the program.
fireAfterRead() method is called after the data address is read by the program.
fireAfterRead() method is called after the probed address is read by the program.
fireAfterWrite() method is called after the data address is written by the
program.
fireAfterWrite() method is called after the data address is written by the program.
fireAfterWrite() method is called after the data address is written by the program.
fireAfterWrite() method is called after the probed address is written by the program.
fireBefore() method is called before the probed instruction executes.
fireBefore() method is called before the probed instruction executes.
fireBefore() method is called before the probed instruction executes.
fireBefore() method is called before the probed instruction executes.
fireBefore() method is called before the probed instruction executes.
fireBefore() method is called before the probed instruction executes.
fireBefore() method is called before the probed instruction executes.
fireBefore() method is called before the probed instruction executes.
fireBefore() method is called before the probed instruction executes.
fireBeforeRead() method is called before the data address is read by the program.
fireBeforeRead() method is called before the data address is read by the program.
fireBeforeRead() method is called before the data address is read by the program.
fireBeforeRead() method is called before the probed address is read by the program.
fireBeforeWrite() method is called before the data address is written by the
program.
fireBeforeWrite() method is called before the data address is written by the program.
fireBeforeWrite() method is called before the data address is written by the program.
fireBeforeWrite() method is called before the probed address is written by the
program.
floor() function computes the concrete value with all unknown bits set to zero.
floor() function computes the concrete value with all unknown bits set to zero.
force() method is called by the simulator when an interrupt is being forced by an
outside source (i.e. not of the simulation).
forceInterrupt() method forces the simulator to post the specified interrupt
regardless of the normal source of the interrupt.
freeEventLists field stores a reference to any free event links that have become
unused during the processing of events.
freeLinks field stores a reference to any free links that have become unused during
the processing of events.
GASProgramReader is an implementation of the ProgramReader that reads a
source program in the GAS-style syntax and builds a program from it.GDBServer class implements a monitor that can communicate to gdb via
the remote serial protocol (RSP). GDBServer class simply creates a new instance that
is capable of creating monitors for simulators.
GDBMonitor class implements a monitor that can interactively debug
a program that is running in Avrora. BreakpointProbe is a probe inserted at a breakpoint that calls
the commandLoop() method before the target instruction is executed, thus
implementing a breakpoint.StartupProbe is a probe inserted at the beginning of the program that
will stop the simulation in order to wait for GDB to connect to Avrora.StepProbe class implements a probe that is used to step by a single
instruction. GenInterpreter class is largely generated from the instruction specification. Interpreter class builds the internal data structures needed to
store the complete state of the machine, including registers, IO registers, the SRAM, and the flash.
GlobalClock class implements a global timer among multiple simulators by inserting
periodic timers into each simulator. Ticker class is an event that fires in the local queues of participating threads. get() method returns the current value of the option.
get() method returns the current value of the option.
get() method returns the current value of the option.
get() method returns the current value of the option.
get() method returns the current value of the option.
getAddress() method gets the starting byte address of this basic block.
getBit() method extracts the specified abstract bit from the specified abstract
value.
getBlockContaining() method looks up the basic block that contains the address
specified.
getBlockIterator() method constructs an interator over all of the blocks in the
control flow graph, regardless of connectivity.
getBlockStartingAt() method looks up a basic block based on its starting address.
getCFG() method returns a reference to the control flow graph of the program.
getCachedState() method looks for the a cached, immutable state that corresponds to
the given mutable state.
getClass() method gets the Java class representing the class returned for a given
short name.
getClock() method gets a reference to the Clock that this
simulator is driving.
getCount() method returns the number of clock cycles (ticks) that have elapsed for
this clock.
getCount() method returns the number of clock cycles (ticks) that have elapsed for
this clock.
getCount() method returns the total count of clock ticks that have happened for this
clock.
getCount() method returns the number of clock cycles (ticks) that have elapsed for
this clock.
getCount() gets the total cumulative count of all the advance() calls on
this delta queue.
getCurrentInstr() method reads the instruction at the current program counter value
(PC).
getCycles() method returns the number of cylces consumed by the instruction in the
default case.
getCycles() method returns the clock cycle count recorded so far in the simulation.
getCycles() method returns the clock cycle count recorded so far in the simulation.
getDataByte() method reads a byte value from the data memory (SRAM) at the specified
address.
getDataByte() method reads a byte value from the data memory (SRAM) at the specified
address.
getEEPromSize() method returns the size in bytes of the EEPROM on this hardware
device.
getEEPromSize() method returns the size in bytes of the EEPROM on this hardware
device.
getEdenState() method gets the starting state of the abstract interpretation.
getEdgeIterator() method returns an interator over all edges between all blocks within
this control flow graph.
getFirstEventDelta() method returns the number of clock cycles until
the first event in the event queue will fire.
getFlag_C() method returns the current value of the C bit in the status register as a
boolean.
getFlag_C() method returns the current value of the C bit in the status register as a
boolean.
getFlag_C() method returns the abstract value of the C flag.
getFlag_H() method returns the current value of the H bit in the status register as a
boolean.
getFlag_H() method returns the current value of the H bit in the status register as a
boolean.
getFlag_H() method returns the abstract value of the H flag.
getFlag_I() method returns the current value of the I bit in the status register as a
boolean.
getFlag_I() method returns the current value of the I bit in the status register as a
boolean.
getFlag_I() method returns the abstract value of the I flag.
getFlag_N() method returns the current value of the N bit in the status register as a
boolean.
getFlag_N() method returns the current value of the N bit in the status register as a
boolean.
getFlag_N() method returns the abstract value of the N flag.
getFlag_S() method returns the current value of the S bit in the status register as a
boolean.
getFlag_S() method returns the current value of the S bit in the status register as a
boolean.
getFlag_S() method returns the abstract value of the S flag.
getFlag_T() method returns the current value of the T bit in the status register as a
boolean.
getFlag_T() method returns the current value of the T bit in the status register as a
boolean.
getFlag_T() method returns the abstract value of the T flag.
getFlag_V() method returns the current value of the V bit in the status register as a
boolean.
getFlag_V() method returns the current value of the V bit in the status register as a
boolean.
getFlag_V() method returns the abstract value of the V flag.
getFlag_Z() method returns the current value of the Z bit in the status register as a
boolean.
getFlag_Z() method returns the current value of the Z bit in the status register as a
boolean.
getFlag_Z() method returns the abstract value of the Z flag.
getFlashSize() method returns the size in bytes of the flash memory on this hardware
device.
getHZ() method returns the number of cycles per second at which this clock runs.
getHeadDelta() method gets the number of clock cycles until the first event will
fire.
getHelp() method returns a string that is used in reporting the command line help to
the user.
getHigh() method returns the current highest value of the interval for this
option.
getHZ() method returns the number of cycles per second at which this hardware device
is designed to run.
getHZ() method returns the number of cycles per second at which this hardware device
is designed to run.
getID() method simply returns this node's unique ID.
getIDTimeString() is a public helper method that gets the node ID and the
time (in clock cycles) and converts them into a string appropriately justified for printing
as the first part of an event reported in simulation.
getIOReg() method is used to retrieve a reference to the actual IOReg
instance stored internally in the state.
getIOReg() method is used to retrieve a reference to the actual IOReg
instance stored internally in the state.
getIORegSize() method returns the number of IO registers that are present on this
hardware device.
getIORegSize() method returns the number of IO registers that are present on this
hardware device.
getIORegisterByte() method reads the abstract value of an IO register from the
abstract state.
getIORegisterByte() method reads the value of an IO register.
getIORegisterByte() method reads the value of an IO register.
getIndirectEdges returns a list of integers representing the possible target program
locations for a given callsite.
getInstr() can be used to retrieve a reference to the Instr object
representing the instruction at the specified program address.
getInstr() can be used to retrieve a reference to the Instr object
representing the instruction at the specified program address.
getInstrIterator() method returns an iterator over the instructions in this basic
block.
getInstrSize() method reads the size of the instruction at the given program address.
getInterpreter() method returns the interpreter that is currently attached
to this simulator.
getInterruptVectorAddress() method computes the location in memory to jump to for the
given interrupt number.
getLabel() method searches for a label with a given name within the program, in any
section.
getLastAddress() gets the last address that this block covers.
getLeftMostToken() method gets the first token associated with the abstract syntax
tree node.
getLength() returns the length of this basic block in terms of the number of
instructions
getLocationList() method is to used to parse a list of program locations and turn them
into a list of Main.Location instances.
getLow() method returns the current lowest value of the interval for this option.
getMicrocontroller() method is used to get the current microcontroller from the
library of implemented ones, based on the command line option that was specified (-chip=xyz).
getMicrocontroller() method gets a reference to the microcontroller being simulated.
getMicrocontroller method retrieves an instance of the Microcontroller
interface that represents the named microcontroller.
getName() method returns the name of the instruction as a string.
getName() method returns the name of the instruction as a string.
getName() method returns the name of the instruction as a string.
getName() method returns the name of this clock source.
getName() method returns the string name of the option.
getNextFrontierState() chooses a state off of the state frontier, removes it from the
state frontier, and returns it.
getNextPC() method computes the program counter value of the next instruction
following the instruction referenced by the given program counter value.
getNumber() method returns the "number" of this register, meaning the offset into the
register file.
getObjectOfClass() method looks up the string name of the class in the alias map
first, and if not found, attempts to load the class using Class.forName() and instantiates
one object.
getOperands() method returns a string representation of the operands of the
instruction.
getPC() retrieves the current program counter.
getPC() retrieves the current program counter.
getPC() method returns the concrete value of the program counter.
getPin() method looks up the named pin and returns a reference to that pin.
getPin() method looks up the specified pin by its number and returns a reference to
that pin.
getPin() method looks up the named pin and returns a reference to that pin.
getPin() method looks up the specified pin by its number and returns a reference to
that pin.
getPinNumber() method looks up the named pin and returns its number.
getPinNumber() method looks up the named pin and returns its number.
getPlatform() method is used to get the current platform from the library of
implemented ones, based on the command line option that was specified (-platform=xyz).
getPostedInterrupts() method returns a mask that represents all interrupts that are
currently pending (meaning they are ready to be fired in priority order as long as the I flag is on).
getPostedInterrupts() method returns a mask that represents all interrupts that are
currently pending (meaning they are ready to be fired in priority order as long as the I flag is on).
getPrinter() method returns a Simulator.Printer instance
for the named verbose channel.
getProcedureBlocks() method returns the collection of basic blocks contained in the
procedure with the specified entrypoint.
getProcedureContaining() method looks up the entrypoint of the procedure that contains
this basic block.
getProcedureEntrypoints() method returns a collection of basic blocks that are
entrypoints of procedures in the control flow graph.
getProcedureMap() method returns a reference to a ProcedureMap instance
that maps basic blocks to the procedures in which they are contained
getProgram() method gets a reference to the program that has been loaded onto this
simulator.
getProgramByte() method reads a byte value from the program (Flash) memory.
getProgramByte() method reads a byte value from the program (Flash) memory.
getPrototype() method looks up the prototype for the given instruction name and
returns it.
getRamSize() method returns the number of bytes of SRAM present on this hardware
device.
getRamSize() method returns the number of bytes of SRAM present on this hardware
device.
getReadCount() method returns the number of times the specified instruction read the
specified memory address.
getRegister() method resolves a register that may have been renamed earlier in the
program.
getRegisterByte() method reads the abstract value of a register in the abstract
state.
getRegisterByName() method retrieves a reference to the Register instance
with the given string name.
getRegisterByNumber() method retrieves a reference to the Register
instance with the given offset in the register file.
getRightMostToken() method gets the last token associated with the abstract syntax
tree node.
getSP() method reads the current value of the stack pointer.
getSP() method reads the current value of the stack pointer.
getSREG() method reads the value of the status register.
getSREG() method reads the value of the status register.
getSREG() method reads the abstract value of the status register.
getShortName() method returns the name of this action as a short string.
getShortName() method returns a shortened version of the name of this monitor for more
quick access at the command line.
getSimulator() method gets the Simulator instance that this thread is
bound to.
getSimulator() method gets a simulator instance that is capable of emulating this
hardware device.
getSimulator() method gets a simulator instance that is capable of emulating this
hardware device.
Simulator on which this radio is running.
Simulator on which this radio is running.
SimulatorThread of this radio.
SimulatorThread thread on which this radio is running.
getSize() method returns the size of the basic block in bytes.
getSize() method returns the size of the instruction in bytes.
getSize() method returns the size of the instruction in bytes.
getBlockIterator() method constructs an interator over all of the blocks in the
control flow graph, regardless of connectivity.
getSortedList() method returns a sorted list of the short names (aliases) stored in
this class map.
getSource() method returns the basic block that is the source of this edge.
getStackByte() method reads a byte from the address specified by SP+1.
getStackByte() method reads a byte from the address specified by SP+1.
getState() retrieves a reference to the current state of the simulation, including the
values of all registers, the SRAM, the IO register, the program memory, program counter, etc.
getStateCache() method gets the cache of all the states in the state space.
getCachedState() method searches the state cache for an immutable state that
corresponds to the given mutable state.
getTarget() method returns the known target of this control flow graph edge, if it
is known.
getTotalCount() method returns the total number of clock cycles (ticks) that have
elapsed for this clock.
getTotalStateCount() method returns the internally recorded number of states created
in this state space.
getType() method returns the string name of the type of this edge.
getUniqueName() gets a string that uniquely identifies this state.
getVariable() method looks up the value of a named constant within the current
environment and returns its value.
getVariant() method returns the variant name of the instruction as a string.
getVariant() method returns the variant name of the instruction as a string.
getWidth() method returns the width of the register in bits.
getWriteCount() method returns the number of times the specified instruction wrote the
specified memory address.
activeProbe field stores a reference to a MulticastProbe that contains
all of the probes to be fired before and after the main execution runLoop--i.e. before and after every
instruction.
HZ field stores a public static final integer that represents the clockspeed of the
AtMega128L microcontroller (7.327mhz).
hashCode() method computes the hash code of this block.
hashCode() computes the hash code of this register so that registers can be inserted
in hashmaps and hashsets.
hashCode() method computes an integer hash code for this state.
head field stores a reference to the head of the delta queue, which represents the
event that is nearest in the future.
help field stores a reference to the (unformatted) help string for this action.
help field stores a reference to a string that represents the contextual help from
this monitor.
high field stores the highest value that is allowed for this operand.
high_addr stores the highest address in the range.
hz field stores the rate of this clock in cycles per second.
IGNORE field stores a reference to a singleton anonymous class that ignores posting
and firing of an interrupt.
IORegisterConstants interface is used to centralize the numeric values of the IO registers
of the AVR architecture.Instr class and its descendants represent instructions within the assembly code. ImmediateRequired class represents an error in construction of an instance of
Instr where the given operand is expected to be an immediate but is not.InvalidImmediate class represents an error in construction of an instance of
Instr where the given immediate operand is not within the range that is specified by the
instruction set manual. InvalidOperand class represents a runtime error thrown by the constructor of an
instruction or the build method of a prototype when an operand does not meet the
restrictions imposed by the AVR instruction set architecture.InvalidRegister class represents an error in constructing an instance of
Instr where a register operand does not meet the instruction set specification. RegisterRequired class represents an error in construction of an instance of
Instr where the given operand is expected to be a register but is not.WrongNumberOfOperands class represents a runtime error thrown by the
build method of a prototype when the wrong number of operands is passed to build an
instruction.InstrProperties represents a grab bag of the properties of an instruction. InstrProperties class simply initializes the final fields of this
class based on the input parameters.
InstrPrototype interface represents an object that is capable of building
Instr instances given an array of Operand instances. InstructionSet class contains static methods that allow the instruction set of the AVR
microcontroller to be accessed from one place.Item class represents either an assembler directive, an instruction, or a sequence of
initialized data with a source program.InitializedData item represents a section of programmer-declared initialized data
within the program. Instruction item in a source program represents an instruction that must be simplified
and added to the program. Label item represents a labelled location in the program that is given a name. NamedConstant item in a source program represents a directive that assigns a
computable value to a name.RegisterAlias item in a source program represents a directive that adds an alias for a
register. UnitializedData item represents a declared section of data that is not given a value
(a reservation of space). itime field stores the invocation count for each instruction in the program.
itime field stores the invocation count for each instruction in the range.
id field stores a unique identifier used to differentiate this simulator
from others that might be running in the same simulation.
increment() method simply adds 1 to the abstract value.
indirectCall() method is called by the abstract interpreter when it encounters an
indirect call within the program.
indirectCall() method is called by the abstract interpreter when it encounters an
indirect call within the program.
indirectCall() method is called by the abstract interpreter when it encounters an
indirect call within the program.
indirectCall() method is called by the abstract interpreter when it encounters an
indirect call within the program.
indirectJump() method is called by the abstract interpreter when it encounters an
indirect jump within the program.
indirectJump() method is called by the abstract interpreter when it encounters an
indirect jump within the program.
indirectJump() method is called by the abstract interpreter when it encounters an
indirect jump within the program.
indirectJump() method is called by the abstract interpreter when it encounters an
indirect jump within the program.
initializeSimulatorStatics() method simply checks a few command line
parameters and initializes the Simulator class's static variables that relate
to reporting time, etc.
innerLoop field is a boolean that is used internally in the implementation of the
interpreter.
insertBreakPoint() method inserts a breakpoint at the instruction at the specified
address.
insertEvent() method inserts an event into the event queue of the clock with the
specified delay in clock cycles.
insertEvent() method inserts an event into the event queue of the clock with the
specified delay in clock cycles.
insertEvent() method inserts an event into the event queue of the clock with the
specified delay in clock cycles.
insertEvent() method inserts an event into the event queue of the clock with the
specified delay in clock cycles.
insertEvent() method inserts an event into the event queue of the simulator with the
specified delay in clock cycles.
Event to this global event queue.
insertPeriodicEvent() method inserts an event into the event queue of the simulator
with the specified period.
insertProbe() method allows a probe to be inserted that is executed before and after
every instruction that is executed by the simulator
insertProbe() method allows a probe to be inserted that is executed before and after
every instruction that is executed by the simulator
insertProbe() method allows a probe to be inserted at a particular address in the
program that corresponds to an instruction.
insertTimeout() method inserts an event into the event queue of the simulator that
causes it to stop execution and throw a Simulator.TimeoutException when the specified
number of clock cycles have expired.
insertWatch() method allows a watch to be inserted at a memory location.
instr field stores the instruction that caused the breakpoint.
instr field stores the next instruction to be executed after the timeout.
instrs field stores a reference to the array that contains the instruction
representations of the program segment.
interpreter field stores a reference to the instruction set interpreter.
interrupt() is called by the abstract interrupt when it encounters a place in the
program when an interrupt might occur.
interrupt() is called by the abstract interrupt when it encounters a place in the
program when an interrupt might occur.
interrupts array stores a reference to an Interrupt instance for each of
the interrupt vectors supported in the simulator.
isDataSegment() method returns whether this label refers to the data segment.
isDataSegment() method returns whether this label refers to the data segment.
isEEPromSegment() method returns whether this label refers to the eeprom segment.
isEEPromSegment() method returns whether this label refers to the eeprom
segment.
isEmpty() method tests whether the multicast set of this probe is empty.
isEmpty() method tests whether the multicast set of this watch is empty.
isExplored() method tests whether a given state has been explored before.
isFrontier() method tests whether a given state is currently in the frontier list of
the state transition graph.
isHexDigit() method tests whether the given character corresponds to one of the
characters used in the hexadecimal representation (i.e. is '0'-'9' or 'a'-'b', case insensitive.
isInAnyProcedure() method queries whether the specified basic block is reachable from
any procedure entry point in the program.
isProgramSegment() method returns whether this label refers to the program
segment.
isProgramSegment() method returns whether this label refers to the program
segment.
isSharedBetweenProcedures() method queries whether the specified basic block is
reachable from more than one procedure entrypoint.
isSleeping() method returns whether the simulator is currently in a sleep mode.
isSleeping() method returns whether the simulator is currently in a sleep mode.
isSupported() method allows a client to query whether a particular instruction is
implemented on this hardware device.
isSupported() method allows a client to query whether a particular instruction is
implemented on this hardware device.
isKnown() method tests whether an abstract value represents a single, fully known
value.
iterator() method returns an interator over the short names (aliases) stored in this
map.
itime field stores the cumulative number of cycles consumed for each instruction in
the program.
justReturnedFromInterrupt field is used internally in maintaining the invariant stated
in the hardware manual that at least one instruction following a return from an interrupt is executed
before another interrupt can be processed.
knownBitsOf() method returns computes the concrete value from the given abstract value
where all unknown bits of the abstract value are set to zero.
knownVal() method creates a canonical abstract value from the given concrete value.
ListAction class encapsulates an action that simply prints a digest of the program. left field records an expression that represents the operand on the left side of
the operator.
leftJustify() method pads a string to a specified length by adding spaces on the
right, thus justifying the string to the left margin.
leftJustify() method pads a string to a specified length by adding spaces on the
right, thus justifying the string to the left margin.
leftJustify() method pads a string to a specified length by adding spaces on the
right, thus justifying the string to the left margin.
location: name and address of this procedure
logicalAnd method computes the logical bitwise AND of two abstract values.
low field stores the lowest value that is allowed for this operand.
low_addr stores the lowest address in the range.
MAX_INTERRUPTS fields stores the maximum number of interrupt vectors supported by the
simulator.
MemoryCounter is the simplest example of memory profiling functionality. MemoryMatrixProfiler class collects information about a program's usage of memory. MemoryMatrixProfiler class creates a new memory probe that can be
inserted into the simulator to record the full memory access statistics of the program.
MemoryMonitor class implements a monitor that collects information about how the program
accesses the data memory over its execution. Mica class is an implementation of the Platform interface that represents
both a specific microcontroller and the devices connected to it. Mica2 class is an implementation of the Platform interface that represents
both a specific microcontroller and the devices connected to it. Microcontroller interface corresponds to a hardware device that implements the AVR
instruction set. Pin interface encapsulates the notion of a physical pin on the microcontroller chip.
Input interface represents an input pin. Output interface represents an output pin. MicrocontrollerFactory interface is implemented by a class that is capable of making
repeated copies of a particular microcontroller for use in simulation.MicrocontrollerProperties interface represents a set of methods that get information about
a particular microcontroller implementation.Microcontrollers class represents a static, known mapping between names and
implementations of microcontroller models. Module() method causes the parser to begin parsing the module.
Module class collects together the instructions and data into an AVR assembly program.Monitor class represents a monitor attached to a Simulator instance. MonitorFactory class represents a profiling utility that is able to produce a
Monitor for a simulation. MonitorFactory class initializes the options field,
as well as the references to the help string and the short name of the monitor.
MultiSimulateAction class represents an action available to the simulator where multiple
nodes are run in simulation.MulticastProbe is a wrapper around multiple probes that allows them to act as a single
probe. MulticastProbe is a wrapper around multiple watches that allows them to act as a single
watch. MutableState class represents an abstract state of the processor that is mutable. MutableState class builds the default values of each of the
registers and each IO register that is being modelled.
main() method is the entrypoint into Avrora.
major field stores the string that represents the major version number (the release
number).
mark field is used by graph traversal algorithms to detect cycles and terminate
traversals.
maskOf() method returns the upper 8 bits of the abstract (the mask bits) of the
abstract value.
median field stores the median value of the distribution.
merge() method merges abstract values.
merge() method merges abstract values.
merge() method merges abstract values.
merge() method merges abstract values.
merge() method merges abstract values.
merge() method merges this abstract state with another abstract state and returns a
new copy.
mergeMask() merges the given abstract value with the known bit mask passed.
microcontroller field stores a reference to the microcontroller being simulated.
millisAsString() method converts a number of milliseconds into a more suitable format
for printing.
millisToCycles() method converts the specified number of milliseconds to a cycle
count.
millisToCycles() method converts the specified number of milliseconds to a cycle
count.
millisToDays() method converts the given milliseconds into a breakdown of days, hours,
minutes, seconds, and milliseconds, returning a long array where the expr 0 corresponds to days, expr 1
corresponds to hours, etc.
modeAmphere power consumpption of the operating modes
modeName names of the opetating modes
module field stores a reference to the module that this parser is building.
name field stores an immutable reference to the name of the instruction as a string.
name field records the name of this label.
name field stores the name of this clock as a string.
name field stores a reference to the string name of this option.
nesting field stores the current nesting level (i.e. the number of times
entry_addr has been reached without exit_addr intervening).
newBlock() method creates a new block within the control flow graph, starting at the
specified address.
newDataLabel() method creates a label in the data segment with the specified name at
the specified byte address.
newEEPromLabel() method creates a label in the eeprom segment with the specified name
at the specified byte address.
newMicrocontroller() method is used to instantiate a microcontroller instance for the
particular program.
newMicrocontroller() method is used to instantiate a microcontroller instance for the
particular program.
newMonitor() method creates a new monitor that is capable of energy profiling.
newMonitor() method creates a new monitor for the given simulator.
newMonitor() method creates a new monitor for the specified instance of
Simulator.
newMonitor() method creates a new monitor for the given simulator that is capable of
collecting performance information as the program executes.
newMonitor() method creates a new monitor for the given simulator that is capable of
collecting performance information as the program executes.
newMonitor() method creates a new monitor that is capable of monitoring the stack
height of the program over its execution.
newMonitor() method creates a new monitor for the given simulator that is capable of
collecting performance information as the program executes.
newOption() is used by subclasses to easily create new options for this action.
newOption() is used by subclasses to easily create new options for this action.
newOption() is used by subclasses to easily create new options for this action.
newOption() is used by subclasses to easily create new options for this action.
newOption() is used by subclasses to easily create new options for this action.
newOptionList() is used by subclasses to easily create new options for this action.
newProgramLabel() method creates a label in the program segment with the specified
name at the specified byte address.
newSimulator() method is used by subclasses of this action to create a new instance of
a simulator with the correct platform.
newSimulator() method is a simple utility used by actions deriving from this
class that creates a new Simulator with the correct configuration, with the specified
program, and then applies timeouts, breakpoints, and monitors to it.
newTestCase() method creates a new test case of the right type given the file name and
the properties already extracted from the file by the testing framework.
nextPC field is used internally in maintaining the correct execution order of the
instructions.
nextRegister() method returns a reference to the register that immediately follows
this register in the register file.
not() method computes the bitwise negation (one's complement) of the specified
abstract value
number field of the InvalidOperand instance records which operand
this error refers to.
ObjDumpPreprocessor class is a utility class that takes the output from the
avr-objdump utility and produces a cleaned up version that is more suitable for parsing into
the internal format of Avrora.AtmelProgramReader is an implementation of the ProgramReader that reads
source assembly files in the Atmel style syntax. Operand class encapsulates the notion of an operand to an instruction. Operand.Constant class encapsulates the notion of a constant operand to an
instruction.Operand.Register class encapsulates the notion of a register operand to an
instruction.Option class represents an option that has been given on the command line. Option class creates a new option with the specified name and
description.
Option.Bool class is an implementation of the Option class that
encapsulates a boolean.Option.Long class creates a new option that can store a
boolean value.
Option.Double class is an implementation of the Option class that
encapsulates a double value.Option.Double class creates a new option that can store long
integers.
Option.Long class is an implementation of the Option class that
encapsulates a long integer value.Option.Interval class creates a new option that can store an
interval which is denoted by a low integer and a high integer.
Option.List class is an implementation of the Option class that
encapsulates a list.Option.List class creates a new option that can store a list
of strings.
Option.Long class is an implementation of the Option class that
encapsulates a long integer value.Option.Long class creates a new option that can store long
integers.
Option.Str class is an implementation of the Option class that
encapsulates a string.Option.Str class creates a new option that can store a string.
Options class represents a collection of command line options and utility methods for
parsing the command line. objMap field is a hash map that maps a string to an instance of a particular class,
i.e. an object.
op field records the token that corresponds to the actual arithmetic operator.
options field stores a reference to an instance of the Options class that
encapsulates the command line options available to this action.
options field stores a reference to an instance of the Options class that
stores the command line options to the monitor.
or() method computes the logical bitwise or of two abstract values.
or() method computes the logical bitwise or of three abstract values.
PeriodicEvent class is a utility that allows a Simulator.Event to be inserted
into the simulator that will fire with a specified period of clock cycles. PeriodicEvent class creates a new periodic event with the
specified period.
Platform interface represents both a microcontroller instance and the devices connected to
it. PlatformFactory interface represents a factory-style interface where an implementor can
create multiple platforms of the same type for a given program.Platforms class represents the library of known platforms. ProcedureMap class represents a mapping from basic blocks to the procedures that contain
them. ProfileMonitor class represents a monitor that can collect profiling information such as
counts and branchcounts about the program as it executes.ProfileMonitor class creates a factory that is capable of
producing profile monitors for each simulator passed.
Monitor class implements the monitor for the profiler. Program class represents a complete program of AVR instructions. Program class builds an internal representation of the program that
is initially empty, but has the given parameters in terms of how big segments are and where they
start.
DataLabel class represents a label within the program that refers to the data
segment.EEPromLabel class represents a label within the program that refers to the eeprom
segment.ProgramLabel class represents a label within the program that refers to the program
segment.ProgramPoint class represents a location within a program for the purposes of tracking
error messages and debug information. ProgramProfiler class implements a probe that can be used to profile pieces of the program
or the whole program. ProgramReader class represents an object capable of reading a program given the special
command line arguments. ProgramProfiler class implements a probe that can be used to profile pieces of the program
or the whole program. parallelAction() method implements the functionality that must be performed in
parallel when the threads have joined at this local meet, and after the serial action has been
completed.
parseError() method is called by an option implementation when there is a problem
parsing the value for an option supplied by the user on the command line.
parseOptions() method takes an array of strings and parses it, extracting the options
and storing the option values in the internal state of main.
cycles is the number of cycles on a member local clock per cycle on the global clock.
pop() method is called by the abstract interpreter when a pop from the stack is
ecountered in the program.
pop() method is called by the abstract interpreter when a pop from the stack is
ecountered in the program.
popByte() method pops a byte from the stack by reading from the address pointed to by
SP+1 and incrementing the stack pointer.
postInterrupt() method is generally only used within the simulator which does
pre-processing of interrupts before it posts them into the internal State instance.
preSynchAction() method implements the functionality that must be performed just
after the thread enters the local meet, but before it blocks waiting for the other threads.
prefix field stores the string that the prefix of the version (if any) for this
version.
primes field stores the first 32 prime integers that follow 2.
printDescription() method prints out a well-formatted representation of the
description of the item to the terminal.
printHeader() method prints out the first line of the help text for this item.
printHelp() method prints out a textual paragraph of the help item for this option
to the terminal.
printHelp() method prints out a textual paragraph of the help item for this option
to the terminal.
printHelp() method prints out a textual paragraph of the help item for this option
to the terminal.
printHelp() method prints out a textual paragraph of the help item for this option
to the terminal.
printHelp() method prints out a textual paragraph of the help item for this option
to the terminal.
printHelp() method prints out a textual paragraph of the help item for this option
to the terminal.
printHelp() method prints out a textual paragraph of the help item for this option to
the terminal.
printSimHeader() method simply prints the first line of output that names
the columns for the events outputted by the rest of the simulation.
println() method prints the node ID, the time, and a message to the
console, synchronizing with other threads so that output is not interleaved.
probe field stores a reference to the probe passed in the constructor.
processMonitorList() method builds a list of MonitorFactory instances
from the list of strings given as an option at the command line.
processPropagationList() method walks through a list of target/caller state pairs,
propagating callers to return states.
processOptions() method is called after the MonitorFactory instance is
created.
processTimeout() method simply checks the command line arguments that
correspond to timeouts (such as clock cycles, seconds, or instructions) and inserts
the appropriate probes into the simulator.
program field stores a reference to the program to which this control flow graph
corresponds.
program field allows descendants of the Simulator class to access the
program that is currently loaded in the simulator.
program field stores a reference to the program being profiled.
program field stores a reference to the program being profiled.
program field stores a reference to the program being profiled.
program_end field records the address following the highest address in the program
segment that contains valid code or data.
program_length field records the size of the program (the difference between
program_start and program_end.
program_start field records the lowest address in the program segment that contains
valid code or data.
properties field stores a reference to the properties of the instruction,
including its size, number of cycles, etc.
push() method is called by the abstract interpreter when a push to the stack is
encountered in the program.
push() method is called by the abstract interpreter when a push to the stack is
encountered in the program.
pushByte() method pushes a byte onto the stack by writing to the memory address
pointed to by the stack pointer and decrementing the stack pointer.
pushState method is called by the abstract interpreter when a state is forked by
the abstract interpreter (for example when a branch condition is not known and both branches must
be taken.
pushState method is called by the abstract interpreter when a state is forked by the
abstract interpreter (for example when a branch condition is not known and both branches must be
taken.
quote() method simply adds double quotes around a string.
REPORT_SECONDS field controls whether times in the Simulator.Printer
output will be reported in clock cycles or in seconds.
RESERVED field of the state class represents an instance of the IOReg
interface that will not allow any writes to this register to occur.
Radio interface should be implemented by classes which would like to act as radios and
access an instance of the RadioAir interface.RadioController is an object installed into a Microcontroller. RadioPacket is an object describing the data transmitted over RadioAir over
some period of time.RadioAir. RangeProfiler class implements a probe that can be used to profile a range of addresses in
the program. RawModule is a subclass of Module that allows random access when creating a
program from an input source. Register class represents a register available on the AVR instruction set. Set class represents a set of registers. ramSize field stores the maximum RAM address that should be recorded.
rcount field stores the number of reads encountered for this memory location.
rcount field stores a two dimensional array that records the read count for each
memory location for each instruction.
read() method will read a program in and produce a simplified format.
read() method reads the 8-bit value of the IO register as a byte.
read() method reads the 8-bit value of the IO register as a byte.
read() method is called by the simulator when the program attempts to read the
level of the pin.
read() method takes the command line arguments passed to main and interprets it as a
list of filenames to load.
read() method accepts a list of filenames as strings, loads them, resolves symbols,
and produces a simplified program.
read() method takes the command line arguments passed to main and interprets it as a
list of filenames to load.
readBit() method reads a single bit from the IO register.
readBit() method reads a single bit from the IO register.
readInstr() method reads an instruction from the specified address in the program.
readProgram() method reads a program from the command line arguments given the format
specified at the command line.
readProgramByte() method reads a byte into the program segment at the specified byte
address.
Radio interface.
receiveFrame receives an SPIFrame from a connected device.
register field records the offending register that was found not to be in the
expected register set.
remove method removes all occurrences of the specified event within the delta queue.
remove method removes a probe from the multicast set.
remove method removes a watch from the multicast set.
removeBreakPoint method removes all breakpoints at the specified instruction at the
specified address.
removeEvent() method removes an event from the event queue of the clock.
removeEvent() method removes an event from the event queue of the clock.
removeEvent() method removes an event from the event queue of the clock.
removeEvent() method removes an event from the event queue of the clock.
removeEvent() method removes an event from the event queue of the simulator.
removeProbe() method removes a probe from the global probe table (the probes executed
before and after every instruction).
removeProbe() method removes a probe from the global probe table (the probes executed
before and after every instruction).
removeProbe() method removes a probe from the instruction at the specified the
address.
removeWatch() method removes a given watch from the memory location.
report() method generates a textual report after the simulation is complete.
report() method is called after the simulation is complete.
report() method generates a textual report for the profiling information gathered
from the execution of the program.
report() method generates a textual report after the simulation is complete.
report() method generates a textual report for the profiling information gathered
from the execution of the program.
report() method generates a textual report after the analysis has been completed.
reportMonitors() method gets a list of Monitor instances attached to the
simulator and calls each of their report() methods.
reportQuantity() method is a simply utility to print out a quantity's name
(such as "Number of instructions executed", the value (such as 2002), and the units (such as
cycles) in a colorized and standardized way.
reportQuantity() method is a simply utility to print out a quantity's name
(such as "Number of instructions executed", the value (such as 2002), and the units (such as
cycles) in a colorized and standardized way.
reportQuantity() method is a simply utility to print out a quantity's name
(such as "Number of instructions executed", the value (such as 2002), and the units (such as
cycles) in a colorized and standardized way.
reportQuantity() method can be used by subclasses of MonitorFactory to
report various quantities such as execution time, cycles spent sleeping, etc, to the terminal.
reportQuantity() method can be used by subclasses of MonitorFactory to
report various quantities such as execution time, cycles spent sleeping, etc, to the terminal.
reportQuantity() method can be used by subclasses of MonitorFactory to
report various quantities such as execution time, cycles spent sleeping, etc, to the terminal.
reset() method resets the internal clock prescaler to zero.
reset() method stops the simulation and resets its state to the default initial state.
reset() method simply resets the nesting level of the sequence probe, as if it had
exited from all nested entries into the region.
ret() method is called by the abstract interpreter when it encounters a return
within the program.
ret() method is called by the abstract interpreter when it encounters a return within
the program.
reti() method is called by the abstract interpreter when it encounters a return
from an interrupt within the program.
reti() method is called by the abstract interpreter when it encounters a return from
an interrupt within the program.
right field records an expression that represents the operand on the right side of
the operator.
rightJustify() method pads a string to a specified length by adding spaces on the
left, thus justifying the string to the right margin.
rightJustify() method pads a string to a specified length by adding spaces on the
left, thus justifying the string to the right margin.
rightJustify() method pads a string to a specified length by adding spaces on the
left, thus justifying the string to the right margin.
run() method is called by the main class and is passed the remaining command line
arguments after options have been stripped out.
run() method runs the stack analysis by loading the program from the command line
options specified, creating an instance of the Analyzer class, and running the analysis.
run() method is called by the main class.
run() method starts the control flow graph utility.
run() method simply runs the listing action which dumps out the program
onto the console.
run() method starts the multiple node simulation.
run() method is called by the main class.
run() method starts the test harness and begins processing test cases.
run() method begins the simulation, calling the start() method of the
Simulator instance associated with this thread.
run() method simply loops while the analysis is running.
run() method begins the analysis.
runTests() method runs the testing framework on each of the specified filenames.
SECONDS_PRECISION field controls the number of decimal places of precision
reported for times in seconds when outputting events from the simulator.
SectionFile class represents a file that can be used to for source code generation, etc,
where a template file has a section of text that needs to be generated, and the rest of the file is not
altered. SequenceProbe is a probe composer that allows a probe to be fired for every instruction
executed between a specified entrypoint and a specified exit point. SequenceProbe class simply stores its arguments into the
corresponding public final fields in this object, leaving the probe in a state where it is ready to be
inserted into a simulator.
SimAction is an abstract class that collects many of the options common to single node and
multiple-node simulations into one place.ProfileMonitor class creates a factory that is capable of
producing profile monitors for each simulator passed.
GlobalClock that implements a version of LocalMeet
that is appropriate for delivering radio packets.RadioTicker class is the global timer for the radio. SimulatorTestHarness implements a test harness that interfaces the
avrora.test.AutomatedTester in order to automate testing of the AVR parser and simulator.SimulateAction implements the bridge between the functionality in the
avrora.sim package and the entrypoint to Avrora in avrora.Main. Simulator class implements a full processor simulator for the AVR instruction set. BreakPointException is an exception that is thrown by the simulator before it executes
an instruction which has a breakpoint. InstructionCountTimeout class is a probe that simply counts down and throws an
exception when the count reaches zero. InstructionCountTimeout creates a timeout event with the specified
initial value.
Simulator.Event interface represents an event that is fired when a timed event occurs
within the simulator. InstructionCountTimeout class is a probe that simply counts down and throws a
TimeoutException when the count reaches zero. InstructionCountTimeout creates with the specified initial value.
Interrupt interface represents the behavior of an interrupt (how it manipulates the
state of the processor) when it is posted and when it is triggered (handler is executed by the
processor). Simulator.Printer class is a printer that is tied to a specific Simulator
instance. Simulator.Probe interface represents a programmer-defined probe that can be inserted
at a particular instruction in the program. or at every instruction. TimeoutException is thrown by the simulator when a timeout reaches zero. MemoryProbe interface represents a user probe that is fired when a watchpoint detects
an access to an address where this memory probe has been inserted.SimulatorTestHarness implements a test harness that interfaces the
avrora.test.AutomatedTester in order to automate testing of the AVR parser and simulator.SimulatorThread class is a thread intended to run a Simulator in a
multiple-node simulation. Simulator as a parameter
and stores it internally.
SleepMonitor class is a monitor that tracks statistics about the sleeping patterns of
programs, including the total number of cycles awake and the total number of cycles asleep during the
simulation.StackMonitor class is a monitor that tracks the height of the program's stack over the
execution of the simulation and reports the maximum stack of the program.StackMonitor class builds a new MonitorFactory
capable of creating monitors for each Simulator instance passed to the
newMonitor() method.
Monitor class implements a monitor for the stack height that inserts a probe after
every instruction in the program and checks the stack height after each instruction is executed.State class represents the state of the simulator, including the contents of registers and
memory.IOReg interface models the behavior of an IO register. RWIOReg class is an implementation of an IO register that has the simple, default
behavior of being able to read and write just as a general purpose register or byte in SRAM.StateSpace class represents the reachable state space as it is explored by the
Analyzer class. StateSpace accepts a program as a parameter.
State class represents an immutable state within the state space of the program. StateTransitionGraph class constructs a new state transition
graph, with a state cache.
Edge inner class represents a bidirectional edge between two states. StateInfo class is a representation of both the forward and backward edge list
corresponding to a node in the state transition graph. StringUtil class implements several useful functions for dealing with strings such as
parsing pieces of syntax, formatting, etc.SyntacticOperand class is an implementation of the avrora.core.Operand
interface that corresponds to source assembly programs. SyntacticOperand.Expr class represents a constant expression that was specified in the
source assembly as an expression. SyntacticOperand.Register class represents a register operand at the source level.
serialAction() method implements the functionality that must be performed in
serial when the threads have joined at this local meet.
set field records the expected register set for the operand.
set() method updates the value of the option.
set() method updates the value of the option.
set() method updates the value of the option.
set() method updates the value of the option.
set() method updates the value of the option.
set() method updates the value of the option.
set() method updates the value of the option.
setBit() method updates the specified abstract bit within the specified abstract
value.
setDataByte() method writes a value to the data memory (SRAM) of the state.
setExplored() method marks the given state as having been explored.
setFlag_C() method updates the abstract value of the C flag.
setFlag_H() method updates the abstract value of the H flag.
setFlag_I() method updates the abstract value of the I flag.
setFlag_N() method updates the abstract value of the N flag.
setFlag_S() method updates the abstract value of the S flag.
setFlag_T() method updates the abstract value of the T flag.
setFlag_V() method updates the abstract value of the V flag.
setFlag_Z() method updates the abstract value of the Z flag.
setIOReg method installs the specified IOReg object to the specified IO
register number.
setIORegisterAV() method writes the abstract value of an IO register.
setIORegisterByte() method writes a value to the specified IO register.
setPC() method updates the concrete value of the program counter.
setRegisterAV() method writes the abstract value of a register in the abstract state
setRegisterByte() method writes a value to a general purpose register.
setRegisterWord method writes a word value to a general purpose register pair.
setSP() method updates the value of the stack pointer.
setSREG() method writes the value of the status register.
setSREG method updates one bit of the abstract value of the status register.
SimulatorThread of this radio.
SimulatorThread of this radio.
shiftLeftOne() method shifts the abstract value left by one bit.
shiftLeftOne() method shifts the abstract value left by one bit and sets the lowest
bit to the given value.
shortName field stores a reference to the string that represents the short
(abbreviated) name of this action.
shortName field stores a reference to the short name of the monitor.
shouldRun flag is used internally in the main execution runLoop to implement the
correct semantics of start() and stop() to the clients.
simplify() method reduces any computable constants to values, resolves register
aliases, and creates instruction instances within this item, depending on exactly which type of item it
is.
simulator field stores a reference to the simulator that this interpreter instance
corresponds to.
simulator field stores a reference to the simulator that this thread encapsulates.
size field stores the size of the instruction in bytes.
sleeping flag is used internally in the simulator when the microcontroller enters the
sleep mode.
squote() method simply adds single quotes around a character.
start() method begins the simulation.
startMode the default operating mode after turning on / reset
state field stores a reference to the state of the simulator when the breakpoint
occurred, before executing the instruction.
state field stores the state of the simulation at the point at which the timeout
occurred.
stop() method stops the simulation if it is running.
stringValue() method returns a string representation of the value of the option.
stringValue() method returns a string representation of the value of the option.
stringValue() method returns a string representation of the value of the option.
stringValue() method returns a string representation of the value of the option.
stringValue() method returns a string representation of the value of the option.
stringValue() method returns a string representation of the value of the option.
stringValue() method returns a string representation of the value of the option.
add() method performs subtraction of two abstract values.
TRUE field represents the abstract bit that is known to be true.
Terminal class provides Avrora with the ability to print color on the terminal by using
control characters. TestAction class represents an action to invoke the built-in automated testing framework
that is used for regression testing in Avrora.TestCase class encapsulates the notion of a test case in the automated testing framework.TestHarness interface encapsulates the notion of a testing harness that is capable of
creating the correct type of test cases given the file and a list of properties extracted from the file by
the automated testing framework.TestResult class represents the result of running a test cases. ProfileMonitor class represents a monitor that can collect profiling information such as
counts and branchcounts about the program as it executes.ProfileMonitor class creates a factory that is capable of
producing profile monitors for each simulator passed.
Monitor class implements the monitor for the profiler. ticksBeforeBase field stores the number of ticks that were recorded before the
prescaler was reset.
timeout field stores the value (in clock cycles) of the timeout that occurred.
toHex() converts the specified long value into a hexadecimal string of the given with.
toShortString() method converts an 8-bit abstract value to a string representation.
toString() method simply converts this instruction to a string by appending
the operands to the variant of the instruction as a string.
toString() method converts this set to a string representation.
toString() method coverts this register to a string.
toString() method converts an 8-bit abstract value to a string representation.
toString() method converts an 8-bit abstract value to a string representation and
appends it to the end of the given string buffer.
RadioAir.
f into the radio environment.
SPIFrame to be received by the connected device.
triggerInterrupt() method is used by device implementations when they detect that an
interrupt should be triggered.
type field stores a string that represents the name of the "type" that this map
contains.
UNKNOWN field represents the abstract value where none of the bits are known.
unpostInterrupt() method is generally only used within the simulator which does
pre-processing of interrupts before it posts them into the internal State instance.
Verbose class is used to get instances of Verbose.Printer for reporting the
internal operations of parts of Avrora. Version class represents a version number, including the major version, the commit number,
as well as the date and time of the last commit.value field stores the actual value that was passed during the attempeted
construction of this instruction.
variant field stores an immutable reference to the variant of the instruction as a
string.
wcount field stores the number of writes encountered for this memory location.
rcount field stores a two dimensional array that records the write count for each
memory location for each instruction.
write() method writes an 8-bit value to the IO register as a byte.
write() method writes an 8-bit value to the IO register as a byte.
write() method is called by the simulator when the program writes a logical
level to the pin.
writeBit() method writes a single bit value into the IO register at the specified
bit offset.
writeInstr() method is used to write an instruction to the internal representation of
the program at the given address.
writeProgramByte() method writes a byte into the program segment at the specified byte
address.
writeProgramBytes() method writes an array of bytes into the program segment at the
specified byte address.
setSREG method updates the abstract value of the status register.
xor() method computes the bitwise exclusive or operation on the two given abstract
values.
ZERO field represents the abstract value where all bits are known to be zero.
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||