Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Convert between IR variable numbers to JDTs' IVariableBinding/ITypeBinding #33

Closed
vazexqi opened this issue Mar 19, 2013 · 1 comment
Closed

Convert between IR variable numbers to JDTs' IVariableBinding/ITypeBinding #33

vazexqi opened this issue Mar 19, 2013 · 1 comment
Labels
extract-closure

Comments

@vazexqi
Copy link
Owner

vazexqi commented Mar 19, 2013

These conversions are necessary for the code generation part to work.
@vazexqi
Copy link
Owner Author

vazexqi commented Mar 19, 2013

JDTIdentityMapper seems to go from JDT -> Wala. Can we use it to get back?

vazexqi pushed a commit that referenced this issue Mar 22, 2013
Compute variables defined in each statement
8f81ce0 
The variable names are the only way to map back to IVariableBindings
later by walking the tree.

See #33 and #35.
vazexqi pushed a commit that referenced this issue Mar 22, 2013
Compute local variables needed in a closure
708a6be 
The algorithm is as follows:

1) Determine all the def (basically writes) that are in the selected
statements.
2) For all those defs, return the ones that are not already part of the
parameter list.

This is very similar to the algorithm used in Extract Method.

See #33 and #35.
vazexqi pushed a commit that referenced this issue Mar 22, 2013
Tests for compute local variable names
ab85653 
See #33 and #35.
vazexqi pushed a commit that referenced this issue Mar 25, 2013
Check in missing project 6 for tests
acb5ff4 
The test will still work since we have zipped the workspace up but
for furture analysis we do need this file.

See #33 and #35.
vazexqi pushed a commit that referenced this issue Mar 25, 2013
ASTVisitor to locate variable bindings
740c211 
See #33.
vazexqi pushed a commit that referenced this issue Mar 25, 2013
Create a simplified facade that uses SimpleNameBindingFinder
da8262d 
Makes it more convenient than having to create a new instance of
SimpleNameBindingFinder each time.

See #33.
vazexqi pushed a commit that referenced this issue Mar 25, 2013
Allow transformation between DataDependence and IBinding
8e1f16f 
We add a convenience method for transforming from DataDependence ->
IBinding (regardless of the type) for now.

See #33.
vazexqi pushed a commit that referenced this issue Mar 25, 2013
Minor refactoring to introduce convenience method
48d7c9c 
See #33.
vazexqi pushed a commit that referenced this issue Mar 25, 2013
Add test cases to verify that BindingFinder works
74d7d6a 
See #33.
vazexqi pushed a commit that referenced this issue Mar 25, 2013
More precisely locate the name bindings of a variable
7fc37ff 
Previously we were using the entire CompilationUnit. While this works,
it is too coarse-grained. We should start looking for bindings at the
smallest encompassing unit, i.e, a MethodDeclaration for our case.

See #33.
@vazexqi vazexqi mentioned this issue Mar 26, 2013
Closed
@vazexqi vazexqi mentioned this issue Apr 5, 2013
Closed
vazexqi pushed a commit that referenced this issue Apr 5, 2013
More precisely find the bindings for variables
0a4f441 
Now we look for the bindings only from the selected statements.

Previously, we look starting from the methoddeclaration. This caused
problems when we have this situation:

method {
	for(int i = …)
      // Select this statement
	  call(i);

    for(int i =…)
}

which i variable would it bind to?

See #33.
@vazexqi vazexqi closed this as completed Apr 5, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
extract-closure
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@vazexqi