Commits

Breadcrumbs

History for

ondebugging-rules-method-behavior

User selector

All users

All time

Commit History

Commits on Oct 17, 2016

• Add interruptions to the debugging rule

  Wohops

  committed
  0cd2d75

  Copy full SHA for 0cd2d75

• Add debugging rule

  Wohops

  committed
  5f18ebe

  Copy full SHA for 5f18ebe

• Introduce unified yields

  Wohops

  committed
  c654823

  Copy full SHA for c654823

• Handle return in try block of try-finally

  Wohops

  committed
  9fbf9b1

  Copy full SHA for 9fbf9b1

• Create yields also for exceptional path

  Wohops

  committed
  af464df

  Copy full SHA for af464df

• Fix test to include exceptional yields

  Wohops

  committed
  f1b0d25

  Copy full SHA for f1b0d25

• Yield is exceptional if there is no return value for non-void method

  Wohops

  committed
  687f6d7

  Copy full SHA for 687f6d7

• Equals in MethodYield now take into account exception path

  Wohops

  committed
  cd8e552

  Copy full SHA for cd8e552

• Handle return in try block of try-finally

  Wohops

  committed
  e6feb48

  Copy full SHA for e6feb48

• test case requiring handling of the finally

  Wohops

  committed
  263c966

  Copy full SHA for 263c966

• Create yields also for exceptional path

  Wohops

  committed
  624935f

  Copy full SHA for 624935f

Commits on Oct 12, 2016

• Cleaning up stack when enqueuing exceptional paths from method invocation

  benzonico

  committed
  dd2154e

  Copy full SHA for dd2154e

Commits on Oct 11, 2016

• Limit recursion and explosion of path.

  Show description for bd12402
  benzonico

  committed
  bd12402

  Copy full SHA for bd12402

• Add distinction for happy path yields

  benzonico

  committed
  2c732fe

  Copy full SHA for 2c732fe

• SONARJAVA-1851 SE: String concatenation to a non null string results in a non null string

  benzonico

  committed
  8be65d5

  Copy full SHA for 8be65d5

• XProc: only use methodbehavior of method which can not be overriden

  

  Wohops

  authored and

  benzonico

  committed
  a24647f

  Copy full SHA for a24647f

• fix test files in SE-based checks in order to not return always the same values

  

  Wohops

  authored and

  benzonico

  committed
  8afc1ca

  Copy full SHA for 8afc1ca

• do not use method behavior from abstract methods

  

  Wohops

  authored and

  benzonico

  committed
  62cd9aa

  Copy full SHA for 62cd9aa

• Usage of yields

  benzonico

  committed
  8545cc6

  Copy full SHA for 8545cc6

• XProc: Handle method behavior yields as a set rather than a list in order to not duplicate equivalent yields

  

  Wohops

  authored and

  benzonico

  committed
  37f48c9

  Copy full SHA for 37f48c9

• XProc: refactor method yields in order to use array of constraints and no symbolic value

  

  Wohops

  authored and

  benzonico

  committed
  c3f32f9

  Copy full SHA for c3f32f9

• XProc: cleanup of program state has to keep dead parameters to not lose constraints when creating yield

  

  Wohops

  authored and

  benzonico

  committed
  3fdaa7c

  Copy full SHA for 3fdaa7c

• XProc: Introduce method yields

  

  Wohops

  authored and

  benzonico

  committed
  d6df884

  Copy full SHA for d6df884

• XProc : notify checks when execution is interrupted

  benzonico

  committed
  681038a

  Copy full SHA for 681038a

• Xproc: Support new exploration order in ConditionAlwaysTrueOrFalseCheck

  benzonico

  committed
  4108a4a

  Copy full SHA for 4108a4a

• Xproc: Support new exploration order in NoWayOutLoopCheck

  benzonico

  committed
  ec92fb6

  Copy full SHA for ec92fb6

• Xproc: implement method behavior

  benzonico

  committed
  ff321ec

  Copy full SHA for ff321ec

• Fix quality flaw: improve coverage

  benzonico

  committed
  57cc6c4

  Copy full SHA for 57cc6c4

• SONARJAVA-1873 Find method when using method references as initializer of variable (#1029)

  Show description for 2acc22e
  

  Wohops

  authored and

  benzonico

  committed
  2acc22e

  Copy full SHA for 2acc22e

• SONARJAVA-1872 Fix how deferred and primitive types are handled in conditionnal expressions (#1027)

  Show description for cc42c11
  

  Wohops

  authored and

  benzonico

  committed
  cc42c11

  Copy full SHA for cc42c11

Commits on Oct 10, 2016

• SONARJAVA-1874 Handle constructor inference in lambda and method reference (#1028)

  

  benzonico

  authored and

  Wohops

  committed
  efeb3eb

  Copy full SHA for efeb3eb

Commits on Oct 6, 2016

• Fix quality flaw: remove usage of fully qualified name in ArrayJavaType

  Wohops

  committed
  223009a

  Copy full SHA for 223009a

• Fix quality flaw: remove usage of fully qualified name

  Wohops

  committed
  6bf56f6

  Copy full SHA for 6bf56f6

• SONARJAVA-1869 handle deferred type variables during inference (#1026)

  Show description for 1d241a5
  

  Wohops

  authored and

  benzonico

  committed
  1d241a5

  Copy full SHA for 1d241a5

Commits on Oct 5, 2016

• SONARJAVA-1867 Correctly propagate type substitution infered from supertypes (#1025)

  

  benzonico

  authored and

  Wohops

  committed
  417106f

  Copy full SHA for 417106f