A B C D E F G I J L M N O P R S T U V W X Z

A

ADLDumper - class l3cover.tools.adldumper.ADLDumper.

ADLDumper() - class l3cover.tools.adldumper.ADLDumper のコンストラクタ

コンストラクタ

ADLParser - class l3cover.tools.adlparser.ADLParser.

ADL parser

ADLParser(Properties) - class l3cover.tools.adlparser.ADLParser のコンストラクタ

Constsructs a new parser with the specified parameters.

ADLParser() - class l3cover.tools.adlparser.ADLParser のコンストラクタ

Constructs a new parser with the default parameters.

Annotation - interface l3cover.verifier.Annotation.

検証用のアノテーション

Assign(LeftValue, Expression) - class l3cover.adl.Command の static メソッド

Atom - class l3cover.adl.Atom.

Atomic value class.

Atom(int) - class l3cover.adl.Atom のコンストラクタ

Delegating constructor.

add(Int) - class l3cover.adl.Int のメソッド

Addition

addAnnotation(String, Annotation) - class l3cover.verifier.Signature のメソッド

ラベルに情報を関連付ける

addCommand(Command) - class l3cover.translator.ProgramGenerator のメソッド

文をブロック末尾に追加する

addData(Atom[]) - class l3cover.translator.ProgramGenerator のメソッド

データをブロック末尾に追加する

addMemoryBlock(String, MemoryData) - class l3cover.adl.Program のメソッド

Add new block to this program.

addMemoryBlock(String, MemoryBlock) - class l3cover.interpreter.impl.DefaultExecutionContext のメソッド

データを追加する

addMemoryBlock(String, MemoryData) - class l3cover.interpreter.impl.DefaultExecutionContext のメソッド

データを追加する

addPushIndent(int) - class l3cover.util.TabbedWriter のメソッド

Set the indentation with the specified difference.

and(Int) - class l3cover.adl.Int のメソッド

Bitwise AND

arrayToString(Object[], String, String) - class l3cover.Util の static メソッド

配列を文字列表記にする

arrayToString(Object[]) - class l3cover.Util の static メソッド

配列を文字列表記にする

assertType(int) - class javax.lang.Variant のメソッド

Assure the type of this object.

assureBufferSize(int) - class l3cover.translator.EventQueueBase のメソッド

Grows the buffer to the specified size.

B

BooleanExpression - class l3cover.adl.BooleanExpression.

Boolean expression in ADL.

BooleanExpression(int) - class l3cover.adl.BooleanExpression のコンストラクタ

コンストラクタ

BooleanExpression(int, Expression[]) - class l3cover.adl.BooleanExpression のコンストラクタ

コンストラクタ

BooleanExpression(int, Expression, Expression) - class l3cover.adl.BooleanExpression のコンストラクタ

コンストラクタ

BooleanExpression(int, BooleanExpression[]) - class l3cover.adl.BooleanExpression のコンストラクタ

コンストラクタ

Byte(int) - class l3cover.adl.Atom の static メソッド

Returns an Atom object representing a byte value

bigIntValue() - class l3cover.adl.Int のメソッド

Returns BigInteger.

byteValue() - class l3cover.adl.Int のメソッド

Returns byte.

C

Code(Command[]) - class l3cover.adl.MemoryData の static メソッド

コードブロックを表す MemoryData オブジェクトを返す

Command - class l3cover.adl.Command.

文を表すオブジェクト

Command(int) - class l3cover.adl.Command のコンストラクタ

コンストラクタ

Command() - class l3cover.adl.Command のコンストラクタ

推奨されていません。

Command(LeftValue, Expression) - class l3cover.adl.Command のコンストラクタ

推奨されていません。

Command(String, Expression) - class l3cover.adl.Command のコンストラクタ

推奨されていません。

Command(String) - class l3cover.adl.Command のコンストラクタ

推奨されていません。

Command(Expression) - class l3cover.adl.Command のコンストラクタ

推奨されていません。

Command(BooleanExpression, Command, Command) - class l3cover.adl.Command のコンストラクタ

推奨されていません。

Command(Expression, int, Command, Command) - class l3cover.adl.Command のコンストラクタ

推奨されていません。

CompilationException - exception l3cover.tools.rulecomp.CompilationException.

Exception thrown when a compilation error occurred

CompilationException(String, String, int, int) - class l3cover.tools.rulecomp.CompilationException のコンストラクタ

Constructor

CompilationException(String) - class l3cover.tools.rulecomp.CompilationException のコンストラクタ

Constructor

Compound(String, Pattern[]) - class l3cover.translator.cip.Pattern の static メソッド

Constructs an object representing a compound pattern.

Compound(String) - class l3cover.translator.cip.Pattern の static メソッド

Constructs an object representing a compound pattern without children.

Compound(String, Term[]) - class l3cover.translator.cip.Term の static メソッド

Constructs an object representing a compound term.

Compound(String) - class l3cover.translator.cip.Term の static メソッド

Constructs an object representing a compound term without children.

Const(Value) - class l3cover.translator.cip.Pattern の static メソッド

Returns an object representing a constant value.

Const(Value) - class l3cover.translator.cip.Term の static メソッド

Returns an object representing a constant value.

clone() - class l3cover.adl.MemoryData のメソッド

Clone this object.

clone() - class l3cover.adl.Program のメソッド

Clone this object

close() - class l3cover.util.TabbedWriter のメソッド

Close the stream.

commitBlock() - class l3cover.translator.ProgramGenerator のメソッド

ブロックの内容を commit する

comparable(Object) - interface javax.lang.PartialOrder のメソッド

Returns whether this object and the specified object are comparable or not.

comparable(Object) - class l3cover.adl.Pointer のメソッド

comparable(Object) - class l3cover.adl.Value のメソッド

compareTo(Object) - interface javax.lang.PartialOrder のメソッド

Compares two objects.

compareTo(Object) - class l3cover.adl.Int のメソッド

Comparing two objects.

compareTo(Object) - class l3cover.adl.Pointer のメソッド

compareTo(Object) - class l3cover.adl.Value のメソッド

constructObject(String) - class l3cover.Util の static メソッド

Constructs the specified class using the default constructor

createAssignment(Expression, Expression) - class l3cover.translator.TranslatorBase の static メソッド

代入文を作成する

createExecutionEngine(MachineParameter) - interface l3cover.interpreter.ExecutionEngineFactory のメソッド

実行エンジンを作成する

createExecutionEngine(MachineParameter) - class l3cover.interpreter.impl.DefaultExecutionEngineFactory のメソッド

実行エンジンを作成する

createVerifier(MachineParameter) - interface l3cover.verifier.VerifierFactory のメソッド

Create a verifier given the machine parameter.

D

Data(Atom[]) - class l3cover.adl.MemoryData の static メソッド

データブロックを表す MemoryData オブジェクトを返す

Data(Value, int) - class l3cover.translator.Event の static メソッド

データを表す Event を返す

DefaultExecutionContext - class l3cover.interpreter.impl.DefaultExecutionContext.

デフォルトの実行コンテクスト

DefaultExecutionContext(MachineParameter, Program) - class l3cover.interpreter.impl.DefaultExecutionContext のコンストラクタ

コンストラクタ

DefaultExecutionEngine - class l3cover.interpreter.impl.DefaultExecutionEngine.

デフォルトの実行エンジン

DefaultExecutionEngine(MachineParameter) - class l3cover.interpreter.impl.DefaultExecutionEngine のコンストラクタ

コンストラクタ

DefaultExecutionEngineFactory - class l3cover.interpreter.impl.DefaultExecutionEngineFactory.

デフォルトの実行エンジンファクトリ

DefaultExecutionEngineFactory() - class l3cover.interpreter.impl.DefaultExecutionEngineFactory のコンストラクタ

コンストラクタ

dataToString(Atom[]) - class l3cover.interpreter.InterpreterUtil の static メソッド

データを pretty printing する

decode(Atom[]) - interface l3cover.ValueCodec のメソッド

Decode data (Atom[]) into a Value

decode(Atom[]) - class l3cover.tools.adlinterp.ExampleMachineParameter のメソッド

decodeBE(Atom[]) - class l3cover.interpreter.InterpreterUtil の static メソッド

ビッグエンディアンで表現されたデータをデコードする

decodeLE(Atom[]) - class l3cover.interpreter.InterpreterUtil の static メソッド

リトルエンディアンで表現されたデータをデコードする

decoerceToInt(Int) - class l3cover.interpreter.InterpreterUtil の static メソッド

大きさをチェックして Int を int に変換する

decrementIndent() - class l3cover.util.TabbedWriter のメソッド

Decrement indentation level.

defineVariable(String, Value) - interface l3cover.interpreter.ExecutionContext のメソッド

変数を定義する

defineVariable(String, Value) - class l3cover.interpreter.impl.DefaultExecutionContext のメソッド

div(Int) - class l3cover.adl.Int のメソッド

Division

doubleValue() - class l3cover.adl.Int のメソッド

Returns double.

downcastInt(int) - class l3cover.translator.TranslatorBase の static メソッド

int をダウンキャスト(?)

downcastInt(Expression) - class l3cover.translator.TranslatorBase の static メソッド

Expression を int にダウンキャストする

downcastLValue(LeftValue) - class l3cover.translator.TranslatorBase の static メソッド

LeftValue をダウンキャスト(?)

downcastLValue(Expression) - class l3cover.translator.TranslatorBase の static メソッド

Expression を LeftValue にダウンキャストする

dump(Atom[]) - class l3cover.tools.adldumper.ADLDumper のメソッド

dump(Value) - class l3cover.tools.adldumper.ADLDumper のメソッド

dump(LeftValue) - class l3cover.tools.adldumper.ADLDumper のメソッド

dump(Expression) - class l3cover.tools.adldumper.ADLDumper のメソッド

dump(BooleanExpression) - class l3cover.tools.adldumper.ADLDumper のメソッド

dump(Command) - class l3cover.tools.adldumper.ADLDumper のメソッド

dump(Program) - class l3cover.tools.adldumper.ADLDumper のメソッド

プログラムをダンプする

dumpContext() - class l3cover.interpreter.impl.DefaultExecutionContext のメソッド

コンテクストの文字列表現を返す

dumpHex(long, int) - class l3cover.Util の static メソッド

Format an integer with a hexadecimal string.

dumpMemory(MemoryBlock) - class l3cover.interpreter.impl.DefaultExecutionContext の static メソッド

メモリブロックをダンプする

dumpRegister(Register) - class l3cover.interpreter.impl.DefaultExecutionContext の static メソッド

レジスタをダンプする

E

EMPTY - class l3cover.adl.Command の static 変数

空文の singleton

ERROR - class l3cover.adl.Command の static 変数

エラー文の singleton

Empty() - class l3cover.adl.Command の static メソッド

Error() - class l3cover.adl.Command の static メソッド

Event - class l3cover.translator.Event.

Reader event object

Event(int) - class l3cover.translator.Event のコンストラクタ

Delegating constructor.

EventQueue - interface l3cover.translator.EventQueue.

An interface of reader queue

EventQueueBase - class l3cover.translator.EventQueueBase.

Base class for event queue implementation.

EventQueueBase(List) - class l3cover.translator.EventQueueBase のコンストラクタ

Constructs a queue using the specified container object.

EventQueueBase() - class l3cover.translator.EventQueueBase のコンストラクタ

Constructs a queue with default parameters.

ExampleMachineParameter - class l3cover.tools.adlinterp.ExampleMachineParameter.

Example machine parameter

ExampleMachineParameter() - class l3cover.tools.adlinterp.ExampleMachineParameter のコンストラクタ

ExecutionContext - interface l3cover.interpreter.ExecutionContext.

実行エンジンのコンテクスト

ExecutionEngine - interface l3cover.interpreter.ExecutionEngine.

実行エンジンのインターフェイス

ExecutionEngineFactory - interface l3cover.interpreter.ExecutionEngineFactory.

実行エンジンのファクトリ

ExecutionException - exception l3cover.interpreter.ExecutionException.

インタプリタでの実行中に発生する例外

ExecutionException() - class l3cover.interpreter.ExecutionException のコンストラクタ

コンストラクタ

ExecutionException(String) - class l3cover.interpreter.ExecutionException のコンストラクタ

コンストラクタ

ExecutionException(String, Throwable) - class l3cover.interpreter.ExecutionException のコンストラクタ

コンストラクタ

ExecutionException(Throwable) - class l3cover.interpreter.ExecutionException のコンストラクタ

コンストラクタ

Expression - class l3cover.adl.Expression.

ADL の式

Expression(int) - class l3cover.adl.Expression のコンストラクタ

コンストラクタ

Expression(Value) - class l3cover.adl.Expression のコンストラクタ

リテラル値を表す Expression オブジェクトを構築する

Expression(String) - class l3cover.adl.Expression のコンストラクタ

変数参照を表す Expression オブジェクトを構築する

Expression(LeftValue) - class l3cover.adl.Expression のコンストラクタ

左辺値を表す Expression オブジェクトを構築する

Expression(int, Expression[]) - class l3cover.adl.Expression のコンストラクタ

演算子を表す Expression オブジェクトを構築する

encode(Value, int) - interface l3cover.ValueCodec のメソッド

Encode a Value into data (Atom[])

encode(Value, int) - class l3cover.tools.adlinterp.ExampleMachineParameter のメソッド

encodeBE(Value, int) - class l3cover.interpreter.InterpreterUtil の static メソッド

ビッグエンディアンで値からのエンコードを行う

encodeLE(Value, int) - class l3cover.interpreter.InterpreterUtil の static メソッド

リトルエンディアンで値からのエンコードを行う

endGeneration() - class l3cover.translator.ProgramGenerator のメソッド

Declare the end of program generation.

equals(Term) - class l3cover.translator.cip.Term のメソッド

Compares the equality of two terms.

evaluate(Expression) - class l3cover.interpreter.impl.DefaultExecutionEngine のメソッド

式を評価する [idempotent]

evaluate(BooleanExpression) - class l3cover.interpreter.impl.DefaultExecutionEngine のメソッド

式を評価する [idempotent]

F

Forget(String) - class l3cover.adl.Command の static メソッド

floatValue() - class l3cover.adl.Int のメソッド

Returns float.

flush() - class l3cover.util.TabbedWriter のメソッド

Flush the stream.

forgetVariable(String) - interface l3cover.interpreter.ExecutionContext のメソッド

変数を削除する

forgetVariable(String) - class l3cover.interpreter.impl.DefaultExecutionContext のメソッド

G

GoTo(Expression) - class l3cover.adl.Command の static メソッド

generate(RuleGrammer.TopLevel) - class l3cover.tools.rulecomp.TranslatorGenerator のメソッド

Generate a translator.

generate(Writer, RuleGrammer.TopLevel) - class l3cover.tools.rulecomp.TranslatorGenerator の static メソッド

Generate a translator

getAnnotation(String) - class l3cover.verifier.Signature のメソッド

ラベルに対する情報の取得

getAnnotationMap() - class l3cover.verifier.Signature のメソッド

Obtains the entire annotation as a map.

getBlockType() - class l3cover.translator.ProgramGenerator のメソッド

現在のブロックの種別を取得する

getBooleanExpression() - class l3cover.adl.Command のメソッド

条件式を返す

getBooleanOperands() - class l3cover.adl.BooleanExpression のメソッド

boolean operator の場合にオペランドを返す

getBufferCount() - class l3cover.translator.EventQueueBase のメソッド

Returns the number of events in the buffer.

getByteOffset() - class l3cover.adl.LeftValue のメソッド

レジスタのバイトオフセットを取得する

getByteValue() - class l3cover.adl.Atom のメソッド

Obtain the byte value.

getChildren() - class l3cover.translator.cip.Pattern のメソッド

Obtain the subpatterns.

getChildren() - class l3cover.translator.cip.Term のメソッド

Obtain the subterms.

getCode() - class l3cover.adl.MemoryData のメソッド

コマンド列を返す

getCode() - class l3cover.interpreter.MemoryBlock のメソッド

コード列を取得する

getColumn() - class l3cover.tools.adlparser.ParseException のメソッド

Returns the column number where the exception is occured.

getColumn() - class l3cover.tools.rulecomp.CompilationException のメソッド

Returns the column where an exception occurred

getConstValue() - class l3cover.translator.cip.Pattern のメソッド

Obtain the constant value.

getConstValue() - class l3cover.translator.cip.Term のメソッド

Obtain the constant value.

getContext() - interface l3cover.interpreter.ExecutionEngine のメソッド

現在の実行コンテクストを取得する

getContext() - class l3cover.interpreter.impl.DefaultExecutionEngine のメソッド

評価コンテクストを取得する

getContext(Map) - class l3cover.translator.TranslatorBase のメソッド

マッチ結果の変数束縛を、translateOperand を用いて TranslationContext に変換する

getCurrentColumn() - class l3cover.util.TabbedWriter のメソッド

Obtain the current column position

getCurrentInstruction() - class l3cover.interpreter.impl.DefaultExecutionEngine のメソッド

これから実行すべき命令を返す [idempotent]

getData() - class l3cover.adl.MemoryData のメソッド

データを返す

getData() - class l3cover.interpreter.MemoryBlock のメソッド

データを取得する

getData(int, int) - class l3cover.interpreter.MemoryBlock のメソッド

データの一部を取得する

getData() - class l3cover.interpreter.Register のメソッド

中身のデータを取得する

getData(int, int) - class l3cover.interpreter.Register のメソッド

データの一部を取得する

getElseCommand() - class l3cover.adl.Command のメソッド

else 節の文を返す

getExpression() - class l3cover.adl.Command のメソッド

式を返す

getExpressionOperands() - class l3cover.adl.BooleanExpression のメソッド

expression operator の場合にオペランドを返す

getFirst() - class javax.lang.Pair のメソッド

Obtain the first element.

getFreshName(String) - class l3cover.translator.NameGenerator のメソッド

Returns a fresh identifier

getGCCStylePositionString() - class l3cover.tools.adlparser.ParseException のメソッド

Returns the GNU-Compiler-Collection-style string that describes the position of the error.

getHex(int, int) - class l3cover.interpreter.InterpreterUtil の static メソッド

getHexByte(int) - class l3cover.interpreter.InterpreterUtil の static メソッド

getIndentCount() - class l3cover.util.TabbedWriter のメソッド

Obtain the current indentation.

getIndex() - class l3cover.interpreter.InstructionPointer のメソッド

ステートメントインデックスを返す

getIndex() - class l3cover.tools.adlparser.ParseException のメソッド

Returns the index number where the exception is occured.

getInstruction() - class l3cover.translator.Event のメソッド

命令を表す CIP 項を取得する

getIntValue() - class l3cover.adl.Value のメソッド

Obtain the integer value represented by this object.

getLabelName() - class l3cover.adl.Pointer のメソッド

Obtain the label name.

getLabelName() - class l3cover.interpreter.InstructionPointer のメソッド

基本ブロック名を返す

getLabelName() - class l3cover.translator.Event のメソッド

ラベル名を取得する

getLabelName() - class l3cover.translator.ProgramGenerator のメソッド

現在のラベル名を取得する

getLeftValue() - class l3cover.adl.Command のメソッド

左辺値を返す

getLeftValue() - class l3cover.adl.Expression のメソッド

左辺値を取得する

getLine() - class l3cover.tools.adlparser.ParseException のメソッド

Returns the line number where the exception is occured.

getLine() - class l3cover.tools.rulecomp.CompilationException のメソッド

Returns the line where an exception occurred

getLiteralValue() - class l3cover.adl.Expression のメソッド

リテラル値を取得する

getMachineParameter() - class l3cover.interpreter.impl.DefaultExecutionEngine のメソッド

実行エンジンのパラメータを取得する

getMachineParameter() - class l3cover.tools.adlparser.ADLParser のメソッド

関連付けられた抽象機械パラメータを取得する

getMachineParameter() - class l3cover.translator.TranslatorBase のメソッド

抽象機械パラメータを取得する

getMachineParameter() - interface l3cover.verifier.Verifier のメソッド

Obtain the machine parameter associated with this verifier object.

getMemoryBlock(String) - class l3cover.adl.Program のメソッド

Obtain the memory block with the specified label name.

getMemoryBlock(String) - interface l3cover.interpreter.ExecutionContext のメソッド

メモリブロックを取得する

getMemoryBlock(String) - class l3cover.interpreter.impl.DefaultExecutionContext のメソッド

ラベルに関連付けられたデータを取得する

getMemoryMap() - class l3cover.adl.Program のメソッド

Obtain the entire program as a map

getOffset() - class l3cover.adl.Pointer のメソッド

Obtain the offset

getOperands() - class l3cover.adl.Expression のメソッド

オペランドを取得する

getPointer() - class l3cover.adl.LeftValue のメソッド

ポインタ expression を取得する

getPointerSize() - interface l3cover.MachineParameter のメソッド

Returns the size of pointers

getPointerSize() - class l3cover.tools.adlinterp.ExampleMachineParameter のメソッド

getPointerValue() - class l3cover.adl.Atom のメソッド

Obtain the pointer value.

getPointerValue() - class l3cover.adl.Value のメソッド

Obtain the pointer value represented by this object.

getPosition() - class l3cover.adl.Atom のメソッド

Obtain the pointer position.

getPositionString() - class l3cover.tools.rulecomp.CompilationException のメソッド

Returns a string describing the position where an error occurred (in GCC-style)

getProgram() - class l3cover.tools.adlparser.ADLParser のメソッド

関連付けられたプログラムを取得する

getProgram() - class l3cover.translator.ProgramGenerator のメソッド

Returns the associated program container.

getProgramCounter() - interface l3cover.interpreter.ExecutionEngine のメソッド

現在のプログラムカウンタの値を取得する

getProgramCounter() - class l3cover.interpreter.impl.DefaultExecutionEngine のメソッド

プログラムカウンタを取得する

getRegister(String) - interface l3cover.interpreter.ExecutionContext のメソッド

レジスタを取得する

getRegister(String) - class l3cover.interpreter.impl.DefaultExecutionContext のメソッド

レジスタの中身を取得する

getRegisterName() - class l3cover.adl.LeftValue のメソッド

レジスタ名を取得する

getRegisterNames() - interface l3cover.MachineParameter のメソッド

Returns the names of registers

getRegisterNames() - class l3cover.tools.adlinterp.ExampleMachineParameter のメソッド

getRegisterSize(String) - interface l3cover.MachineParameter のメソッド

Returns the size of the specified register

getRegisterSize(String) - class l3cover.tools.adlinterp.ExampleMachineParameter のメソッド

getResource(String) - class l3cover.Util の static メソッド

リソースをクラスパスから見つけてくる

getSecond() - class javax.lang.Pair のメソッド

Obtain the second element.

getSize() - class l3cover.adl.LeftValue のメソッド

メモリサイズを取得する

getSize() - class l3cover.interpreter.Register のメソッド

レジスタ幅を取得する

getSourceName() - class l3cover.tools.adlparser.ParseException のメソッド

Returns the source name where the exception is occured.

getSourceName() - class l3cover.tools.rulecomp.CompilationException のメソッド

Returns the name of the source code where an exception occurred

getTabWidth() - class l3cover.util.TabbedWriter のメソッド

Obtain the tab width.

getTermId() - class l3cover.translator.cip.Pattern のメソッド

Obtain the term ID.

getTermId() - class l3cover.translator.cip.Term のメソッド

Obtain the term ID.

getThenCommand() - class l3cover.adl.Command のメソッド

then 節の文を返す

getType() - class javax.lang.Variant のメソッド

Obtain the tag.

getType() - class l3cover.interpreter.MemoryBlock のメソッド

中身の種類を取得する

getValue() - class l3cover.translator.Event のメソッド

値を取得する

getValueCodec() - interface l3cover.MachineParameter のメソッド

Returns the value codec associated with this architecture.

getValueCodec() - class l3cover.tools.adlinterp.ExampleMachineParameter のメソッド

getValueSize() - class l3cover.translator.Event のメソッド

データサイズを取得する

getValueType() - class l3cover.adl.Command のメソッド

値の型を返す

getVariable(String) - interface l3cover.interpreter.ExecutionContext のメソッド

変数を取得する

getVariable(String) - class l3cover.interpreter.impl.DefaultExecutionContext のメソッド

getVariable(String) - class l3cover.translator.TranslationContext のメソッド

Obtain a variable binding.

getVariableName() - class l3cover.adl.Command のメソッド

変数名を取得する

getVariableName() - class l3cover.adl.Expression のメソッド

変数名を取得する

getVariableName() - class l3cover.translator.cip.Pattern のメソッド

Obtain the name of variable.

I

IfThen(BooleanExpression, Command) - class l3cover.adl.Command の static メソッド

IfThenElse(BooleanExpression, Command, Command) - class l3cover.adl.Command の static メソッド

IfType(Expression, int, Command, Command) - class l3cover.adl.Command の static メソッド

IfType(Expression, int, Command) - class l3cover.adl.Command の static メソッド

Instruction(Term) - class l3cover.translator.Event の static メソッド

命令を表す Event を返す

InstructionPointer - class l3cover.interpreter.InstructionPointer.

命令ポインタ

InstructionPointer(String, int) - class l3cover.interpreter.InstructionPointer のコンストラクタ

コンストラクタ

InstructionPointer(String) - class l3cover.interpreter.InstructionPointer のコンストラクタ

コンストラクタ

Int - class l3cover.adl.Int.

Integer

Int(BigInteger) - class l3cover.adl.Int のコンストラクタ

Constructs an Int object

Int(byte[]) - class l3cover.adl.Int のコンストラクタ

Constructs an Int object

Int(long) - class l3cover.adl.Int のコンストラクタ

Constructs an Int object

Int(Int) - class l3cover.adl.Value の static メソッド

Constructs a Value object representing an integer value.

InterpreterUtil - class l3cover.interpreter.InterpreterUtil.

インタプリタ内部用ユーティリティ

InterpreterUtil() - class l3cover.interpreter.InterpreterUtil のコンストラクタ

incrementIndent() - class l3cover.util.TabbedWriter のメソッド

Increment indentation level.

initialize(Program, InstructionPointer) - interface l3cover.interpreter.ExecutionEngine のメソッド

実行エンジンを初期化する

initialize(Program, InstructionPointer) - class l3cover.interpreter.impl.DefaultExecutionEngine のメソッド

初期化

initialize() - class l3cover.util.TabbedWriter のメソッド

Initialization of the object.

intValue() - class l3cover.adl.Int のメソッド

Returns int.

isEOS() - class l3cover.translator.EventQueueBase のメソッド

Returns whether the stream reached the end.

isEmpty() - interface l3cover.translator.EventQueue のメソッド

Returns whether this queue is empty

isEmpty() - class l3cover.translator.EventQueueBase のメソッド

J

JUNK - class l3cover.adl.Atom の static 変数

Singleton instance of undetermined values

JUNK - class l3cover.adl.Value の static 変数

Singleton instance of meaningless value

Junk() - class l3cover.adl.Atom の static メソッド

Returns an Atom object representing an undetermined value

Junk() - class l3cover.adl.Value の static メソッド

Constructs a Value object representing a meaningless value.

javax.lang - package javax.lang

L

Label(String) - class l3cover.translator.Event の static メソッド

ラベルを表す Event を返す

LeftValue - class l3cover.adl.LeftValue.

左辺値 (代入先として使える値)

LeftValue(int) - class l3cover.adl.LeftValue のコンストラクタ

コンストラクタ

LeftValue(String, int, int) - class l3cover.adl.LeftValue のコンストラクタ

レジスタを表す LeftValue オブジェクトを構築する

LeftValue(Expression, int) - class l3cover.adl.LeftValue のコンストラクタ

メモリを表す LeftValue オブジェクトを構築する

l3cover - package l3cover

共通クラスを定義します。

l3cover.adl - package l3cover.adl

Defines data structures representing programs in ADL (Abstract Dataflow Language).

l3cover.interpreter - package l3cover.interpreter

ADL のインタプリタに関わるクラスを定義します。

l3cover.interpreter.impl - package l3cover.interpreter.impl

l3cover.tools.adldumper - package l3cover.tools.adldumper

l3cover.tools.adlinterp - package l3cover.tools.adlinterp

l3cover.tools.adlparser - package l3cover.tools.adlparser

ADL のプログラムの構文解析・pretty printing に関するクラスを含みます。

l3cover.tools.rulecomp - package l3cover.tools.rulecomp

l3cover.translator - package l3cover.translator

Defines classes used in program translation phase.

l3cover.translator.cip - package l3cover.translator.cip

l3cover.util - package l3cover.util

l3cover.verifier - package l3cover.verifier

longValue() - class l3cover.adl.Int のメソッド

Returns long.

M

MachineParameter - interface l3cover.MachineParameter.

The interface to encapsulate architecture-dependent parameters

Main - class l3cover.tools.adlinterp.Main.

Bootstrap class

Main() - class l3cover.tools.adlinterp.Main のコンストラクタ

Main - class l3cover.tools.rulecomp.Main.

変換器ルールのコンパイラ

Main() - class l3cover.tools.rulecomp.Main のコンストラクタ

Memory(Expression, int) - class l3cover.adl.LeftValue の static メソッド

メモリを表す LeftValue オブジェクトを返す

MemoryBlock - class l3cover.interpreter.MemoryBlock.

メモリブロックを表す

MemoryBlock(MemoryData) - class l3cover.interpreter.MemoryBlock のコンストラクタ

コンストラクタ

MemoryData - class l3cover.adl.MemoryData.

メモリ上のデータ

MemoryData(int) - class l3cover.adl.MemoryData のコンストラクタ

コンストラクタ

MemoryData(Command[]) - class l3cover.adl.MemoryData のコンストラクタ

コードブロックを表す MemoryData オブジェクトを構築する

MemoryData(int, Atom[]) - class l3cover.adl.MemoryData のコンストラクタ

メモリブロックを表す MemoryData オブジェクトを構築する

main(String[]) - class l3cover.tools.adlinterp.Main の static メソッド

Main

main(String[]) - class l3cover.tools.rulecomp.Main の static メソッド

ブートストラップ

matches(Term, Map) - class l3cover.translator.cip.Pattern のメソッド

Perform pattern matching.

mod(Int) - class l3cover.adl.Int のメソッド

Modulo operation

mul(Int) - class l3cover.adl.Int のメソッド

Multiplication

N

NameGenerator - class l3cover.translator.NameGenerator.

Unique ID Generator

NameGenerator() - class l3cover.translator.NameGenerator のコンストラクタ

Constructs a new generator

neg() - class l3cover.adl.Int のメソッド

Negation

next() - class l3cover.interpreter.InstructionPointer のメソッド

次の命令ポインタを返す。

not() - class l3cover.adl.Int のメソッド

Bitwise NOT

O

ONE - class l3cover.adl.Int の static 変数

1

or(Int) - class l3cover.adl.Int のメソッド

Bitwise OR

P

Pair - class javax.lang.Pair.

An object representing tuples.

Pair(Object, Object) - class javax.lang.Pair のコンストラクタ

Constructs a tuple.

ParseException - exception l3cover.tools.adlparser.ParseException.

解析エラー

ParseException(ADLParserCore.ParseException) - class l3cover.tools.adlparser.ParseException のコンストラクタ

コンストラクタ

PartialOrder - interface javax.lang.PartialOrder.

The interface representing partial order.

PartialOrder.IncomparableException - exception javax.lang.PartialOrder.IncomparableException.

An exception object thrown when the comparison is impossible.

PartialOrder.IncomparableException() - class javax.lang.PartialOrder.IncomparableException のコンストラクタ

Constructor without any additional information.

PartialOrder.IncomparableException(String) - class javax.lang.PartialOrder.IncomparableException のコンストラクタ

Constructor with the error message.

Pattern - class l3cover.translator.cip.Pattern.

CIP pattern object

Pattern(int) - class l3cover.translator.cip.Pattern のコンストラクタ

Delegating constructor.

Pointer(Pointer, int) - class l3cover.adl.Atom の static メソッド

Constructs an Atom object representing a pointer byte.

Pointer - class l3cover.adl.Pointer.

Pointer value used in ADL

Pointer(String, Int) - class l3cover.adl.Pointer のコンストラクタ

Constructor

Pointer(String) - class l3cover.adl.Pointer のコンストラクタ

Constructor

Pointer(Pointer) - class l3cover.adl.Value の static メソッド

Constructs a Value object representing a pointer value.

Program - class l3cover.adl.Program.

A class representing the entire program.

Program() - class l3cover.adl.Program のコンストラクタ

Constructs an empty program.

Program(Program) - class l3cover.adl.Program のコンストラクタ

Constructs a program with the original.

ProgramGenerator - class l3cover.translator.ProgramGenerator.

Program generator object.

ProgramGenerator() - class l3cover.translator.ProgramGenerator のコンストラクタ

Constructs a generator.

parse(String, Reader) - class l3cover.tools.adlparser.ADLParser のメソッド

ソースコードを解析する

parse(File) - class l3cover.tools.adlparser.ADLParser のメソッド

ソースコードを解析する

parseInt(String) - class l3cover.adl.Int の static メソッド

Parse a number from the string.

patternToString(RuleGrammer.Pattern) - class l3cover.tools.rulecomp.TranslatorGenerator のメソッド

パターンを文字列表記に直す

peek(int) - interface l3cover.translator.EventQueue のメソッド

Returns an event placed in the specified position.

peek(int) - class l3cover.translator.EventQueueBase のメソッド

performTranslation(ProgramGenerator, EventQueue) - class l3cover.translator.TranslatorBase のメソッド

プログラム変換を行う

pop(int) - interface l3cover.translator.EventQueue のメソッド

Removes count events from the top of the queue.

pop() - interface l3cover.translator.EventQueue のメソッド

Removes the top event from the queue.

pop(int) - class l3cover.translator.EventQueueBase のメソッド

pop() - class l3cover.translator.EventQueueBase のメソッド

popIndent() - class l3cover.util.TabbedWriter のメソッド

Restore the indentation.

pushIndent(int) - class l3cover.util.TabbedWriter のメソッド

Set the indentation.

R

Register(String, int, int) - class l3cover.adl.LeftValue の static メソッド

レジスタを表す LeftValue オブジェクトを返す

Register - class l3cover.interpreter.Register.

一つのレジスタを表す

Register(Atom[]) - class l3cover.interpreter.Register のコンストラクタ

コンストラクタ

read() - class l3cover.translator.EventQueueBase のメソッド

Read an event from the source.

readPropertiesFromResource(String, Properties) - class l3cover.Util の static メソッド

クラスパス内から指定されたリソース名を持つリソースを探し、そこからプロパティを構築する

readPropertiesFromResource(String) - class l3cover.Util の static メソッド

クラスパス内から指定されたリソース名を持つリソースを探し、そこからプロパティを構築する

remove(int) - interface l3cover.translator.EventQueue のメソッド

Remove the specified event from the queue.

remove(int) - class l3cover.translator.EventQueueBase のメソッド

removeVariable(String) - class l3cover.translator.TranslationContext のメソッド

Remove a variable binding from the context.

S

Signature - class l3cover.verifier.Signature.

Verification signature: a container for verification information.

Signature(Map) - class l3cover.verifier.Signature のコンストラクタ

Constructs a signature with the specified container.

Signature() - class l3cover.verifier.Signature のコンストラクタ

Constructs a signature object with the default parameters.

setContext(ExecutionContext) - class l3cover.interpreter.impl.DefaultExecutionEngine のメソッド

評価コンテクストを設定する

setData(Atom[]) - class l3cover.adl.MemoryData のメソッド

データを設定する

setData(int, Atom[]) - class l3cover.interpreter.MemoryBlock のメソッド

データの一部を設定する

setData(Atom[]) - class l3cover.interpreter.Register のメソッド

レジスタの中身を設定する

setData(Atom[], int) - class l3cover.interpreter.Register のメソッド

レジスタの一部を設定する

setFirst(Object) - class javax.lang.Pair のメソッド

Set the first element.

setMachineParameter(MachineParameter) - class l3cover.tools.adlparser.ADLParser のメソッド

抽象機械パラメータを関連付ける

setProgram(Program) - class l3cover.tools.adlparser.ADLParser のメソッド

プログラムを関連付ける

setProgram(Program) - class l3cover.translator.ProgramGenerator のメソッド

Associate a program container with this object.

setProgramCounter(InstructionPointer) - interface l3cover.interpreter.ExecutionEngine のメソッド

プログラムカウンタの値を設定する

setProgramCounter(InstructionPointer) - class l3cover.interpreter.impl.DefaultExecutionEngine のメソッド

プログラムカウンタを設定する

setSecond(Object) - class javax.lang.Pair のメソッド

Set the second element.

setVariable(String, Expression) - class l3cover.translator.TranslationContext のメソッド

Put a variable binding.

setWriter(Writer) - class l3cover.tools.adldumper.ADLDumper のメソッド

出力先を設定する

sgn() - class l3cover.adl.Int のメソッド

Signum function

shl(Int) - class l3cover.adl.Int のメソッド

Left shift

shortValue() - class l3cover.adl.Int のメソッド

Returns short.

shr(Int) - class l3cover.adl.Int のメソッド

(Arithmetic) right shift

startNextBlock(String, int) - class l3cover.translator.ProgramGenerator のメソッド

次のブロックを開始する

step() - interface l3cover.interpreter.ExecutionEngine のメソッド

一命令実行を進める

step() - class l3cover.interpreter.impl.DefaultExecutionEngine のメソッド

1 命令を評価する

sub(Int) - class l3cover.adl.Int のメソッド

Subtract

T

TYPE_ADD - class l3cover.adl.Expression の static 変数

加算

TYPE_AND - class l3cover.adl.BooleanExpression の static 変数

&& (bool. op.)

TYPE_ASSIGN - class l3cover.adl.Command の static 変数

代入文

TYPE_BWAND - class l3cover.adl.Expression の static 変数

bitwise AND

TYPE_BWNOT - class l3cover.adl.Expression の static 変数

bitwise NOT

TYPE_BWOR - class l3cover.adl.Expression の static 変数

bitwise OR

TYPE_BWXOR - class l3cover.adl.Expression の static 変数

bitwise XOR

TYPE_BYTE - class l3cover.adl.Atom の static 変数

Tag representing byte values

TYPE_CODE - class l3cover.adl.MemoryData の static 変数

コードセグメント

TYPE_CODE - class l3cover.translator.ProgramGenerator の static 変数

コードブロック

TYPE_COMPOUND - class l3cover.translator.cip.Pattern の static 変数

Tag for compound pattern

TYPE_COMPOUND - class l3cover.translator.cip.Term の static 変数

Tag for compound term

TYPE_CONST - class l3cover.translator.cip.Term の static 変数

Tag for constant values

TYPE_CONSTPAT - class l3cover.translator.cip.Pattern の static 変数

Tag for constant pattern

TYPE_DATA - class l3cover.adl.MemoryData の static 変数

データセグメント

TYPE_DATA - class l3cover.translator.Event の static 変数

Tag for data definition event

TYPE_DATA - class l3cover.translator.ProgramGenerator の static 変数

データブロック

TYPE_DIV - class l3cover.adl.Expression の static 変数

除算

TYPE_EMPTY - class l3cover.adl.Command の static 変数

空文

TYPE_EQ - class l3cover.adl.BooleanExpression の static 変数

== (expr. op.)

TYPE_ERROR - class l3cover.adl.Command の static 変数

エラー

TYPE_EXPR - class l3cover.tools.rulecomp.TranslatorGenerator の static 変数

Expression as expression

TYPE_FORGET - class l3cover.adl.Command の static 変数

変数をわすれる

TYPE_GEQ - class l3cover.adl.BooleanExpression の static 変数

>= (expr. op.)

TYPE_GOTO - class l3cover.adl.Command の static 変数

goto 文

TYPE_GT - class l3cover.adl.BooleanExpression の static 変数

> (expr. op.)

TYPE_IF - class l3cover.adl.Command の static 変数

if 文

TYPE_IFTYPE - class l3cover.adl.Command の static 変数

iftype 文

TYPE_INSTRUCTION - class l3cover.translator.Event の static 変数

Tag for instruction event

TYPE_INT - class l3cover.adl.Value の static 変数

Tag for integer values

TYPE_INT - class l3cover.tools.rulecomp.TranslatorGenerator の static 変数

Expression as int (Java int)

TYPE_JUNK - class l3cover.adl.Atom の static 変数

Tag representing undetermined values

TYPE_JUNK - class l3cover.adl.Value の static 変数

Tag for meaningless values

TYPE_LABEL - class l3cover.translator.Event の static 変数

Tag for label event

TYPE_LEFTVALUE - class l3cover.adl.Expression の static 変数

エンコードされる左辺値(レジスタまたはメモリ)

TYPE_LEQ - class l3cover.adl.BooleanExpression の static 変数

<= (expr. op.)

TYPE_LITERAL - class l3cover.adl.Expression の static 変数

リテラル値

TYPE_LT - class l3cover.adl.BooleanExpression の static 変数

< (expr. op.)

TYPE_LVALUE - class l3cover.tools.rulecomp.TranslatorGenerator の static 変数

Expression as lvalue

TYPE_MAXVALUE - class l3cover.adl.Atom の static 変数

Maximum value of tag defined in this class

TYPE_MAXVALUE - class l3cover.adl.BooleanExpression の static 変数

このクラスで定義されているタグの最大値

TYPE_MAXVALUE - class l3cover.adl.Command の static 変数

このクラスで定義されているタグの最大値

TYPE_MAXVALUE - class l3cover.adl.Expression の static 変数

このクラスで定義されているタグの最大値

TYPE_MAXVALUE - class l3cover.adl.LeftValue の static 変数

このクラスで定義されているタグの最大値

TYPE_MAXVALUE - class l3cover.adl.MemoryData の static 変数

このクラスで定義されているタグの最大値

TYPE_MAXVALUE - class l3cover.adl.Value の static 変数

Max value of the tags

TYPE_MEMORY - class l3cover.adl.LeftValue の static 変数

メモリ

TYPE_MOD - class l3cover.adl.Expression の static 変数

剰余

TYPE_MUL - class l3cover.adl.Expression の static 変数

乗算

TYPE_NE - class l3cover.adl.BooleanExpression の static 変数

!

TYPE_NEG - class l3cover.adl.Expression の static 変数

符号反転

TYPE_NOT - class l3cover.adl.BooleanExpression の static 変数

!

TYPE_OR - class l3cover.adl.BooleanExpression の static 変数

|| (bool. op.)

TYPE_POINTER - class l3cover.adl.Atom の static 変数

Tag representing pointer values

TYPE_POINTER - class l3cover.adl.Value の static 変数

Tag for pointer values

TYPE_REGISTER - class l3cover.adl.LeftValue の static 変数

レジスタ

TYPE_REM - class l3cover.adl.Expression の static 変数

剰余

TYPE_SHL - class l3cover.adl.Expression の static 変数

左シフト

TYPE_SHR - class l3cover.adl.Expression の static 変数

右シフト

TYPE_STACK - class l3cover.adl.MemoryData の static 変数

スタック領域

TYPE_SUB - class l3cover.adl.Expression の static 変数

減算

TYPE_UNKNOWN - class l3cover.translator.ProgramGenerator の static 変数

不明なブロック種別

TYPE_VARDEF - class l3cover.adl.Command の static 変数

変数定義

TYPE_VARIABLE - class l3cover.adl.Expression の static 変数

変数参照 [左辺値になるべきか？]

TYPE_VARPAT - class l3cover.translator.cip.Pattern の static 変数

Tag for variable pattern

TabbedWriter - class l3cover.util.TabbedWriter.

Structured writer.

TabbedWriter(Writer, int) - class l3cover.util.TabbedWriter のコンストラクタ

Constructor

TabbedWriter(Writer) - class l3cover.util.TabbedWriter のコンストラクタ

Constructor.

Term - class l3cover.translator.cip.Term.

CIP term object

Term(int) - class l3cover.translator.cip.Term のコンストラクタ

Delegating constructor.

TranslationContext - class l3cover.translator.TranslationContext.

An object holding variable bindings.

TranslationContext() - class l3cover.translator.TranslationContext のコンストラクタ

Constructs an empty context.

TranslationContext(TranslationContext) - class l3cover.translator.TranslationContext のコンストラクタ

Constructs the context which holds a copy of another context.

TranslationException - exception l3cover.translator.TranslationException.

変換フェーズで例外が発生したことを示す例外

TranslationException() - class l3cover.translator.TranslationException のコンストラクタ

コンストラクタ

TranslationException(String) - class l3cover.translator.TranslationException のコンストラクタ

コンストラクタ

TranslationException(Throwable) - class l3cover.translator.TranslationException のコンストラクタ

コンストラクタ

TranslationException(String, Throwable) - class l3cover.translator.TranslationException のコンストラクタ

コンストラクタ

TranslatorBase - class l3cover.translator.TranslatorBase.

変換器の基底クラス

TranslatorBase(MachineParameter) - class l3cover.translator.TranslatorBase のコンストラクタ

コンストラクタ

TranslatorGenerator - class l3cover.tools.rulecomp.TranslatorGenerator.

TranslatorGenerator(Writer) - class l3cover.tools.rulecomp.TranslatorGenerator のコンストラクタ

Constructor

toString() - class javax.lang.Variant のメソッド

Pretty-print this object.

toString() - class l3cover.adl.Atom のメソッド

Pretty-print this Atom object.

toString() - class l3cover.adl.Int のメソッド

Converts a number into string.

toString(int) - class l3cover.adl.Int のメソッド

Converts a number into string.

toString() - class l3cover.adl.MemoryData のメソッド

この MemoryData オブジェクトの文字列表現を返す

toString() - class l3cover.adl.Pointer のメソッド

Returns the string representation of this object.

toString() - class l3cover.adl.Value のメソッド

Returns the string representation of this object.

toString() - class l3cover.interpreter.InstructionPointer のメソッド

文字列表現を返す

toString() - class l3cover.interpreter.impl.DefaultExecutionContext のメソッド

コンテクストの文字列表現を返す

toString() - class l3cover.translator.cip.Term のメソッド

Pretty-printing method.

toStringInternal() - class l3cover.adl.Atom のメソッド

Pretty-print this Atom object.

toStringInternal() - class l3cover.adl.Value のメソッド

Returns the string representation of this object.

top() - interface l3cover.translator.EventQueue のメソッド

Returns the top event.

top() - class l3cover.translator.EventQueueBase のメソッド

translate(ADLParserCore.Literal) - class l3cover.tools.adlparser.ADLParser のメソッド

リテラル値を変換する

translate(ADLParserCore.LValue) - class l3cover.tools.adlparser.ADLParser のメソッド

左辺値を変換する

translate(ADLParserCore.Expr) - class l3cover.tools.adlparser.ADLParser のメソッド

式を変換する

translate(ADLParserCore.BExpr) - class l3cover.tools.adlparser.ADLParser のメソッド

bool 式を変換する

translate(ADLParserCore.Command) - class l3cover.tools.adlparser.ADLParser のメソッド

文を変換する

translate(ADLParserCore.Command[]) - class l3cover.tools.adlparser.ADLParser のメソッド

コード列を変換する

translate(ADLParserCore.Block) - class l3cover.tools.adlparser.ADLParser のメソッド

メモリブロックを変換する

translate(ADLParserCore.Block[]) - class l3cover.tools.adlparser.ADLParser のメソッド

メモリブロックを複数変換する

translate(ADLParserCore.CompUnit) - class l3cover.tools.adlparser.ADLParser のメソッド

コンパイレーションユニットを変換する

translateData(ProgramGenerator, Value, int) - class l3cover.translator.TranslatorBase のメソッド

データを変換する

translateInstruction(ProgramGenerator, EventQueue, Term) - class l3cover.translator.TranslatorBase のメソッド

命令のマッチング

translateName(String) - class l3cover.translator.NameGenerator の static メソッド

Translate a name to a safe name

translateOperand(Term) - class l3cover.translator.TranslatorBase のメソッド

オペランドのマッチング

U

Util - class l3cover.Util.

Utility class commonly used in L³Cover framework implementation

Util() - class l3cover.Util のコンストラクタ

unsupportedException(String) - class javax.lang.Variant のメソッド

Helper method for generating InvalidTypeException

unsupportedException(String, String) - class javax.lang.Variant のメソッド

Helper method for generating InvalidTypeException

V

Value - class l3cover.adl.Value.

ADL computational values

Value(int) - class l3cover.adl.Value のコンストラクタ

Delegating constructor.

ValueCodec - interface l3cover.ValueCodec.

Conversion interface of ADL data (byte-array representation) and ADL values

VarDef(String, Expression) - class l3cover.adl.Command の static メソッド

Variable(String) - class l3cover.translator.cip.Pattern の static メソッド

Returns an object representing a variable pattern.

Variant - class javax.lang.Variant.

A base-class for variant-like data structure
Variant is also known as 'union'.

Variant(int) - class javax.lang.Variant のコンストラクタ

Constructs a Variant object.

Variant.InvalidTypeException - exception javax.lang.Variant.InvalidTypeException.

An exception class thrown when the type (tag) of a variant is not the one which the program requires.

Variant.InvalidTypeException() - class javax.lang.Variant.InvalidTypeException のコンストラクタ

Constructor without any information.

Variant.InvalidTypeException(String) - class javax.lang.Variant.InvalidTypeException のコンストラクタ

Constructor with error message.

VerificationException - exception l3cover.verifier.VerificationException.

An exception thrown when verification failed.

VerificationException() - class l3cover.verifier.VerificationException のコンストラクタ

コンストラクタ

VerificationException(String) - class l3cover.verifier.VerificationException のコンストラクタ

コンストラクタ

VerificationException(String, Throwable) - class l3cover.verifier.VerificationException のコンストラクタ

コンストラクタ

VerificationException(Throwable) - class l3cover.verifier.VerificationException のコンストラクタ

コンストラクタ

Verifier - interface l3cover.verifier.Verifier.

An interface for program verifier

VerifierFactory - interface l3cover.verifier.VerifierFactory.

A factory interface for verifiers

verify(Program, Signature) - interface l3cover.verifier.Verifier のメソッド

Perform verification.

W

white(int) - class l3cover.tools.rulecomp.TranslatorGenerator の static メソッド

Return white spaces

write(char[], int, int) - class l3cover.util.TabbedWriter のメソッド

Write a part of a string.

writeBooleanExpression(RuleGrammer.BExpr) - class l3cover.tools.rulecomp.TranslatorGenerator のメソッド

Write a boolean expression

writeCode(RuleGrammer.Token) - class l3cover.tools.rulecomp.TranslatorGenerator のメソッド

Output code block

writeCommand(RuleGrammer.Command) - class l3cover.tools.rulecomp.TranslatorGenerator のメソッド

Generate command tree

writeExpression(RuleGrammer.Expression, int) - class l3cover.tools.rulecomp.TranslatorGenerator のメソッド

Write an expression

writeExpression(RuleGrammer.Expression) - class l3cover.tools.rulecomp.TranslatorGenerator のメソッド

Write an expression

writeLValue(RuleGrammer.LValue) - class l3cover.tools.rulecomp.TranslatorGenerator のメソッド

Write a left value

writePatternTree(RuleGrammer.Pattern) - class l3cover.tools.rulecomp.TranslatorGenerator のメソッド

パターンの構文木を出力する

writeValue(RuleGrammer.Value) - class l3cover.tools.rulecomp.TranslatorGenerator のメソッド

Write a value

X

xor(Int) - class l3cover.adl.Int のメソッド

Bitwise XOR

Z

ZERO - class l3cover.adl.Int の static 変数

0

A B C D E F G I J L M N O P R S T U V W X Z