Interface IJavaLabelFactory
A manager of
IJavaLabel. Each IJavaMethod has its own label factory.-
Method Summary
Modifier and TypeMethodDescriptionbooleancheckEquivalence(IJavaLabel label1, IJavaLabel label2) create()create(int offset) Create a named label.Get the list of labels defined by the factory.voidrecordTrampoline(int trampoAddr, int targetAddr)
-
Method Details
-
create
Create a named label.- Parameters:
offset- a client-defined offset, that may or may not represent a valid location within the instruction sequence used to build this AST. In practice, this offset should be an IR instruction one.name- mandatory label name, should be unique, or the method will throw an exception.- Returns:
- the newly created label
-
create
- Parameters:
offset-- Returns:
-
create
IJavaLabel create()- Returns:
-
getLabels
List<IJavaLabel> getLabels()Get the list of labels defined by the factory.- Returns:
-
recordTrampoline
void recordTrampoline(int trampoAddr, int targetAddr) -
checkEquivalence
-