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.

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

Feature exception handling #56

Open
wants to merge 23 commits into
base: master
Choose a base branch
from

Commits on May 24, 2016

  1. [Chicory] Exception Handling version1

    The First Version of the EH is running.
    A Throw-Statement is now seen as an subexit.
    The PPT will be written. and the Dtrace will be Written.
    
    [Chicory] Exception Handling version 2
    
    If the exceptionHandling-Parameter is set,
    every Method is encapsulated by an TryCatch-Instruction.
    Is the exceptionHandling-Parameter not set, only a Throw-Statement
    writes an Throw in the DTrace.
    Is the exceptionHandling-Parameter set, every Throw-Statement is only
    recognized as an Throws in DTrace
    
    [Chicory] Exception Handling version 3
    
    If the exceptionHandling-Parameter is set,
    every Method is encapsulated by an TryCatch-Instruction.
    
    Chicory now differentiate between thrown and forwarded Exceptions.
    Every throw-command results in a distinct PPT.
    
    [Chicory] Exception Handling version 4
    
    Chicory calculates now a new Stackmap table entry for the EH-TryCatch
    jump instead adding a predefined Entry
    
    + Changed the Version Number of Daikon
    
    [xceptonHandle] make some cleaning and Forking
    
    [Chicory] Update to BCEL6
    
    Update Exception-Handling-support to use BCEL After Rebase to newer
    Version
    
    removed wrong comment
    
    [Chicory] Exception Handling version 5
    
    changed the type of the internal variable of the exception from
    java/lang/Exception to java/lang/Throwable.
    After failing the DataStructures.CursorList-Test.
    
    The synchronized-support is now compiling again.
    working with Exception-Handling???
    synchronized is throwing an Exception in bytecode but ??
    
    [Chicory] Exception Handling version 6
    
    Added filter functionality to throw(.*)-PPTs
    
    rebase to master chicory
    
    Fix some merging bugs
    Philipp Hirch committed May 24, 2016
    Configuration menu
    Copy the full SHA
    7b10337 View commit details
    Browse the repository at this point in the history
  2. [Daikon] Exception Handling version 1

    New PPT-Suffix added (THROW,THROWS, THROWCOMBINED)
    
    Daikon know works with THROW/THROWS and combinedThrow PPTs.
    
    rebase to master daikon
    
    Fix some merging bugs
    like formatting
    Philipp Hirch committed May 24, 2016
    Configuration menu
    Copy the full SHA
    ecc06dd View commit details
    Browse the repository at this point in the history
  3. [Annotate] Exception Handling V1

    The Annotater know print the combined throw-PPT as
    exceptional_behaviour-block in JML
    
    the params of a method a now be printed out in JML
    
    rebase to master annotate
    
    Fix some merging bugs
    like formatting
    Philipp Hirch committed May 24, 2016
    Configuration menu
    Copy the full SHA
    acb8440 View commit details
    Browse the repository at this point in the history
  4. Updated chicory-tests und purity-jml tests

    Modified the goals of the chicory-tests to include Throw*-PPTs
    +
    Modified the jml-goals of the Daikon purity-test to contain
    parameters in method-calls
    Philipp Hirch committed May 24, 2016
    Configuration menu
    Copy the full SHA
    9abd847 View commit details
    Browse the repository at this point in the history
  5. suppress the exception handle output in the tests

    suppress the exception handle output in the tests
    Philipp Hirch committed May 24, 2016
    Configuration menu
    Copy the full SHA
    9af7d51 View commit details
    Browse the repository at this point in the history
  6. fixup! suppress the exception handle output in the tests

    Rebase missed sth
    Philipp Hirch committed May 24, 2016
    Configuration menu
    Copy the full SHA
    630bcce View commit details
    Browse the repository at this point in the history
  7. [Chicory] ExceptionHandling V2

    Added support for catching delegated Exceptions in constructors
    Philipp Hirch committed May 24, 2016
    Configuration menu
    Copy the full SHA
    439b2e9 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2016

  1. [Chicory] Added Exception-Parameter-test to Chichory-Test

    Philipp Hirch committed May 25, 2016
    Configuration menu
    Copy the full SHA
    4f89516 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    f4d3071 View commit details
    Browse the repository at this point in the history
  3. Update README.md

    rarworld committed May 25, 2016
    Configuration menu
    Copy the full SHA
    cce95a8 View commit details
    Browse the repository at this point in the history
  4. Merge branch 'FeatureExceptionHandling' of https://github.com/rarworl…

    …d/daikon into FeatureExceptionHandling
    Philipp Hirch committed May 25, 2016
    Configuration menu
    Copy the full SHA
    bdffdc4 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2016

  1. ExceptionHandling Testcase added

    Philipp Hirch committed May 29, 2016
    Configuration menu
    Copy the full SHA
    516adde View commit details
    Browse the repository at this point in the history
  2. Updated daikon.AnnotateNullable

    Updated daikon.AnnotateNullable to identify Throw-PPTs
    Philipp Hirch committed May 29, 2016
    Configuration menu
    Copy the full SHA
    12c6ed7 View commit details
    Browse the repository at this point in the history
  3. Update existing Tests

    Update existing Tests to include THROW-PPTs
    Philipp Hirch committed May 29, 2016
    Configuration menu
    Copy the full SHA
    d01faa0 View commit details
    Browse the repository at this point in the history

Commits on May 31, 2016

  1. edit merge problems

    Philipp Hirch committed May 31, 2016
    Configuration menu
    Copy the full SHA
    bb37a2f View commit details
    Browse the repository at this point in the history
  2. Merge branch 'master' into FeatureExceptionHandling

    Philipp Hirch committed May 31, 2016
    Configuration menu
    Copy the full SHA
    0f26406 View commit details
    Browse the repository at this point in the history
  3. Some format fix

    Philipp Hirch committed May 31, 2016
    Configuration menu
    Copy the full SHA
    e8355f5 View commit details
    Browse the repository at this point in the history
  4. fix merge error

    Philipp Hirch committed May 31, 2016
    Configuration menu
    Copy the full SHA
    351a95a View commit details
    Browse the repository at this point in the history
  5. Fixed auto merge error and fixed comments

    Philipp Hirch committed May 31, 2016
    Configuration menu
    Copy the full SHA
    d7e3d92 View commit details
    Browse the repository at this point in the history
  6. revert README

    Philipp Hirch committed May 31, 2016
    Configuration menu
    Copy the full SHA
    4e37beb View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2016

  1. Added me to the credits

    Philipp Hirch committed Jun 1, 2016
    Configuration menu
    Copy the full SHA
    f62fa73 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2016

  1. updated the manuels

    Philipp Hirch committed Jul 8, 2016
    Configuration menu
    Copy the full SHA
    7397370 View commit details
    Browse the repository at this point in the history
  2. Merge branch 'master' into FeatureExceptionHandling

    Philipp Hirch committed Jul 8, 2016
    Configuration menu
    Copy the full SHA
    297304e View commit details
    Browse the repository at this point in the history