Interface IJavaLabelFactory
A manager of
IJavaLabel
. Each IJavaMethod
has its own label factory.-
Method Summary
Modifier and TypeMethodDescriptionboolean
checkEquivalence
(IJavaLabel label1, IJavaLabel label2) create()
create
(int offset) Create a named label.Get the list of labels defined by the factory.void
recordTrampoline
(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
-