Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jdt-core-dev] Performing Custom Refactorings--Checking Post Conditions

Hi Ali,

this list is for the development of JDT Core itself. Please use the
newsgroups for questions (in this case eclipse.tools.jdt).

Dani

|------------>
| From:      |
|------------>
  >--------------------------------------------------------------------------------------------------------------------------------------------------|
  |Syed Muhammad Ali Shah <alishah_ph@xxxxxxxxx>                                                                                                     |
  >--------------------------------------------------------------------------------------------------------------------------------------------------|
|------------>
| To:        |
|------------>
  >--------------------------------------------------------------------------------------------------------------------------------------------------|
  |jdt-core-dev@xxxxxxxxxxx                                                                                                                          |
  >--------------------------------------------------------------------------------------------------------------------------------------------------|
|------------>
| Date:      |
|------------>
  >--------------------------------------------------------------------------------------------------------------------------------------------------|
  |15.07.2009 01:43                                                                                                                                  |
  >--------------------------------------------------------------------------------------------------------------------------------------------------|
|------------>
| Subject:   |
|------------>
  >--------------------------------------------------------------------------------------------------------------------------------------------------|
  |[jdt-core-dev] Performing Custom Refactorings--Checking Post      Conditions                                                                      |
  >--------------------------------------------------------------------------------------------------------------------------------------------------|





Hi everyone,

I have written a refactoring using eclipse refactoring framework. The
framework provides feature to check preconditions and performs change
operation. I am wondering, how can I check the post conditions, when a
certain changes has been implemented? This is necessary sometimes to check
the semantic integrity of the code, e.g. we can run unit tests to verify
post conditions, but is there any other way that we can automate this
thing?

Scenario is: say my custom refactoring is a composition of differnt
primitive refactorings. If i apply refactoring and there is some sort of
error pops out (say compilation error). Can I rollback the whole
refactoring, as we usually do in database transactions?

Your reply or any pointer to this question will be highly appreciated.

Cheers, Ali
Massey University,
New Zealand



_______________________________________________
jdt-core-dev mailing list
jdt-core-dev@xxxxxxxxxxx
https://dev.eclipse.org/mailman/listinfo/jdt-core-dev





Back to the top