|
||||||||||
| 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.Pin class implements a model of a pin on the ATmega128L for
the general purpose IO ports.Timer0 class emulates the functionality and behavior of the
8-bit timer on the Atmega128L. Ticker implements the periodic behavior of the timer.
- ATMega128L.SimImpl.Timer0.Ticker() -
Constructor for class avrora.sim.mcu.ATMega128L.SimImpl.Timer0.Ticker
-
- AVRErrorReporter - class avrora.AVRErrorReporter.
- The
AVRErrorReporter contains one method per compilation
error. - AVRErrorReporter() -
Constructor for class avrora.AVRErrorReporter
-
- AVRTestHarness - class avrora.AVRTestHarness.
- The
AVRTestHarness implements a test harness that interfaces the
avrora.test.AutomatedTester in order to automate testing of the
AVR parser and simulator. - AVRTestHarness() -
Constructor for class avrora.AVRTestHarness
-
- 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
-
- AddExpr() -
Method in class avrora.syntax.atmel.AtmelParser
-
- AddExpr() -
Method in class avrora.syntax.gas.GASParser
-
- AnalyzeStackAction - class avrora.stack.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.stack.AnalyzeStackAction
-
- 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.FrontierInfo - class avrora.stack.Analyzer.FrontierInfo.
-
- Analyzer.FrontierInfo.CallSiteList - class avrora.stack.Analyzer.FrontierInfo.CallSiteList.
-
- 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(TestHarness) -
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.
- activeProbe -
Variable in class avrora.sim.Simulator
- The
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.
- add(Simulator.Trigger, long) -
Method in class avrora.sim.util.DeltaQueue
- The
add method adds a trigger 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(char, char) -
Static method in class avrora.stack.AbstractArithmetic
- The
add() method performs addition of two abstract values.
- add(Expr) -
Method in class avrora.syntax.ExprList
-
- addBytes(AbstractToken, AbstractToken) -
Method in class avrora.syntax.objdump.RawModule
-
- addBytes(AbstractToken, AbstractToken, AbstractToken, AbstractToken) -
Method in class avrora.syntax.objdump.RawModule
-
- addConstant(AbstractToken, Expr) -
Method in class avrora.syntax.Module
-
- 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
-
- addEdge(StateSpace.State, StateSpace.State, int) -
Method in class avrora.stack.StateSpace
- The
addEdge() method creates an edge between the specified states
with the given weight.
- addEdge(StateSpace.State, StateSpace.State) -
Method in class avrora.stack.StateSpace
- The
addEdge() method creates an edge between the specified states
with weight 0.
- 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
- addFrontier(StateSpace.State) -
Method in class avrora.stack.StateSpace
- The
addFrontier method adds a state to the frontier.
- 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
-
- addPeriodicTimerEvent(Simulator.Trigger, long) -
Method in class avrora.sim.Simulator
- The
addPeriodicTimerEvent() method inserts a trigger into
the event queue of the simulator with the specified period.
- addRegisterName(String, String) -
Method in class avrora.syntax.Module
-
- addState(StateSpace.State) -
Method in class avrora.stack.StateSpace
- The
addState() method adds a state to the state space (marks it as explored).
- addTimerEvent(Simulator.Trigger, long) -
Method in class avrora.sim.Simulator
- The
addTimerEvent() method inserts a trigger into the
event queue of the simulator with the specified delay in clock cycles.
- addTimerEvent(Simulator.Trigger, long) -
Method in class avrora.sim.util.GlobalClock
-
- 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.
- address -
Variable in class avrora.Main.Location
-
- address -
Variable in class avrora.core.Program.Label
- 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.util.DeltaQueue
- The
advance method advances timesteps through the queue by the
specified number of clock cycles, processing any triggers.
- advance(int) -
Method in class avrora.syntax.Module.Seg
-
- align(int, int) -
Static method in class avrora.syntax.Module
-
- 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
-
- avrora - package avrora
-
- avrora.core - package avrora.core
-
- avrora.sim - package avrora.sim
-
- avrora.sim.mcu - package avrora.sim.mcu
-
- avrora.sim.platform - package avrora.sim.platform
-
- 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.util - package avrora.util
-
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. 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.
build() method constructs a new Instr
instance with the given operands, checking the operands against
the constraints that are specific to each instruction.
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. 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.
clearBit() method clears a single bit in the IO register.
clearBit() method clears a single bit in the IO register.
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.
consumeCycle() method increments the cycle count of
the state by one.
consumeCycles() method increments the cycle count of
the state by the specified number of cycles.
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.
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. 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.
dump() method prints out a textual dump of the program.
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.
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.
eventQueue field stores a reference to the event queue,
a delta list of all events to be processed in order.
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. 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
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.
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.
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.
forceInterrupt() method forces the simulator to post the
specified interrupt regardless of the normal source of the interrupt.
GASProgramReader is an implementation of the ProgramReader
that reads a source program in the GAS-style syntax and builds a program from it.Generator class generates Java source code that implements
the description of each instruction. GlobalClock class implements a global timer among multiple
simulators by inserting periodic timers into each simulator.getBit() method extracts the specified abstract bit from
the specified abstract value.
getCount() gets the total cumulative count of all the
advance() calls on this delta queue.
getCurrentInstr() method returns a reference to the
Instr object representing the instruction at the address of
the current value of the program counter.
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.
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.
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 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 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 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 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 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 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 abstract value of the Z flag.
getFrontierState() chooses a state off of the state frontier,
removes it from the state frontier, and returns it.
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.
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.
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.
getInstr() can be used to retrieve a reference to the
Instr object representing the instruction at the specified program
address.
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.
getLeftMostToken() method gets the first token associated
with the abstract syntax tree node.
getLocationList() method is to used to parse a list of
program locations and turn them into a list of Main.Location
instances.
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 retrieves an instance of
the Microcontroller interface that represents the
named microcontroller.
getName() method returns the name of the instruction as
a string.
getOperands() method returns a string representation
of the operands of the instruction.
getPC() retrieves the current program counter.
getPC() method returns the concrete value of the program counter.
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 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).
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.
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.
getRightMostToken() method gets the last token associated
with the abstract syntax tree node.
getSP() method reads the current value of the stack pointer.
getSREG() method reads the value of the status register.
getSREG() method reads the abstract value of the status register.
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.
getSize() method returns the size of the instruction
in bytes.
getSize() method returns the size of the instruction
in bytes.
getSpecialStateCount() method returns the number of special states
that were created.
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.
getStateFor() method searches the state cache for an
immutable state that corresponds to the given mutable state.
getStatesInSpaceCount() method returns the number of unique states
that have been added to this state space.
getTotalStateCount() method returns the internally recorded
number of states created in this state space.
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 gets the variant of the instruction.
getVariant() method returns the variant name of the
instruction as a string.
hashCode() method computes an integer hash code for this
state.
high field stores the highest value that is
allowed for this operand.
high_addr stores the highest address in the range.
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.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). icount field stores the invocation count
for each instruction in the program.
icount field stores the invocation count
for each instruction in the range.
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.
insertBreakPoint() method inserts a breakpoint
at the instruction at the specified address.
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.
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.
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.
isExplored() method checks whether the specified state has been
added to this state space (i.e. it has been explored).
isFrontier() method checks whether the specified state is currently
on the state frontier.
isInstr() method is part of the is/as convention for
instructions and data as they are unified in the Elem
interface.
isProgramSegment() method returns whether this
label refers to the program segment.
isProgramSegment() method returns whether this
label refers to the program segment.
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.
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.
left field records an expression that represents
the operand on the left side of the operator.
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.
Action class defines a new action that the main driver is
capable of executing. Location class encapsulates a location within a program
that is specified on the command line. ProgramReader class represents an object capable of reading
a program given the special command line arguments. 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.MulticastProbe is a wrapper around multiple probes that
allows them to act as a single probe. 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.
makeNewImpression() method creates an instance of the
Impression class that is a deep copy of the program.
makeSpecialState() method creates a special state that
represents something important to an analysis tool, such as a RETURN state.
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.
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.
millisToCycles() method converts the specified number
of milliseconds to a cycle count.
millisToCycles() method converts the specified number
of milliseconds to a cycle count.
module field stores a reference to the module
that this parser is building.
name field records the name of this label.
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.
newProgramLabel() method creates a label in the program segment
with the specified name at the specified byte address.
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.
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.Bool class is an implementation of the
Option class that encapsulates a boolean.Option.List class is an implementation of the
Option class that encapsulates a string.Option.Long class is an implementation of the
Option class that encapsulates a long integer value.Option.Str class is an implementation of the
Option class that encapsulates a string.Options class represents a collection of command
line options and utility methods for parsing the command line. op field records the token that corresponds to the
actual arithmetic operator.
or() method computes the logical bitwise or
of two abstract values.
or() method computes the logical bitwise or
of three abstract values.
outgoing field is a reference to the head of the
list of outgoing edges from this state.
PeriodicTrigger class is a utility that allows a Trigger
to be inserted into the simulator that will fire with a specified period of clock
cycles. PeriodicTrigger class creates a
new periodic trigger with the specified period.
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.Impression class represents a copy of the program that
is suitable for reading and writing during execution without changing the
underlying program. Label class represents a label within the
Program instance that encapsulates it. 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. parseOptions() method takes an array of strings
and parses it, extracting the options and storing the option values
in the internal state of main.
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.
primes field stores the first 32 prime integers
that follow 2.
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_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.
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.
RESERVED field of the state class represents an instance
of the IOReg interface that will not allow any writes to
this register to occur.
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. 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 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 the instruction at the given byte
address.
readInstr() method reads an instruction from the specified
address in the program.
readProgramByte() method reads a single byte
value from the program (code) segment.
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
trigger within the delta queue.
remove method removes a probe from the multicast set.
removeBreakPoint method removes all breakpoints at
the specified instruction at the specified address.
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.
removeTimerEvent() method removes a trigger from
the event queue of the simulator.
report() method generates a textual report after the
analysis has been completed.
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.
run() method is called by the main class and is passed
the remaining command line arguments after options have been stripped out.
run() method is called by the main class.
run() method begins the simulation, calling the start()
method of the Simulator instance associated with this thread.
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 begins the analysis.
runTests() method runs the testing framework on each
of the specified filenames.
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.
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 trigger with the specified initial value.
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.Probe interface represents a
programmer-defined probe that can be inserted at particular instructions
or at every instruction. TimeoutException is thrown by the simulator when a timeout
reaches zero. Simulator.Trigger interface represents a trigger that is
fired when a timed event occurs within the simulator. SimulatorThread class is a thread intended to run a
Simulator in a multiple-node simulation. State class represents the state of the simulator, including
the contents of registers and memory.State class builds the internal data
structures needed to store the complete state of the machine, including registers,
IO registers, the SRAM, and the flash.
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.
Link inner class represents an edge between two states
within the state space. State class represents an immutable state within the state
space of the program. 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. set field records the expected register set
for the operand.
setBit() method sets a single bit in the IO register.
setBit() method sets a single bit in the IO register.
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.
setFlag_C() method updates the value of the C bit in the status
register.
setFlag_C() method updates the abstract value of the C flag.
setFlag_H() method updates the value of the H bit in the status
register.
setFlag_H() method updates the abstract value of the H flag.
setFlag_I() method updates the value of the I bit in the status
register.
setFlag_I() method updates the abstract value of the I flag.
setFlag_N() method updates the value of the N bit in the status
register.
setFlag_N() method updates the abstract value of the N flag.
setFlag_S() method updates the value of the S bit in the status
register.
setFlag_S() method updates the abstract value of the S flag.
setFlag_T() method updates the value of the T bit in the status
register.
setFlag_T() method updates the abstract value of the T flag.
setFlag_V() method updates the value of the V bit in the status
register.
setFlag_V() method updates the abstract value of the V flag.
setFlag_Z() method updates the value of the Z bit in the status
register.
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.
setInstr() method is used internally to update the instructions
of the program by the simulator.
setPC() method updates the value of the program counter.
setPC() method updates the concrete value of the program counter.
setPostedInterrupts() method allows a full update to the
pending list of interrupts.
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_bit() updates the value of the specified bit in the
status register.
setSREG method updates one bit of the abstract value of the
status register.
setWatchPoint() method allows a probe to be inserted
at a memory location.
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.
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.
sleeping flag is used internally in the simulator when the
microcontroller enters the sleep mode.
start() method begins the simulation.
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.
state field stores a reference to the State
object that represents the state of the processor in the simulation.
stop() method stops the simulation if it is running.
add() method performs subtraction of two abstract values.
TRACEPROBE field represents a simple probe
that prints an instruction to the terminal as it is encountered.
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. 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. timeout field stores the value (in clock cycles)
of the timeout that occurred.
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.
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. value field stores the actual value that was
passed during the attempeted construction of this 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.
writeInstr() method is used to update an instruction at a
particular address in memory.
writeInstr() method is used to write an instruction to the
internal representation of the program at the given address.
writeProgramByte() method writes a single byte value
to the program (code) segment.
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 | |||||||||