Code

Resolve javabip warnings#1073

Code

Merged

pieter-bos merged 25 commits intodevutwente-fmt/vercors:devfrom resolve-javabip-warningsutwente-fmt/vercors:resolve-javabip-warningsCopy head branch name to clipboardOct 12, 2023

+243-166

Commits

Commits on Oct 4, 2023

• Add base cases for pure BIP types in Referrable.from

  bobismijnnaam

  committed
  39624f0

  Copy full SHA for 39624f0

• More base cases for referrable

  bobismijnnaam

  committed
  43ee017

  Copy full SHA for 43ee017

• Factor bip guard precondition unsatisfiable error into a java annotation error

  bobismijnnaam

  committed
  7ba9e21

  Copy full SHA for 7ba9e21

• Refactor BipOutgoingDataUnsatisfiablePrecondition into JavaAnnotationError

  bobismijnnaam

  committed
  6d4d4a1

  Copy full SHA for 6d4d4a1

• Refactor transition failures to be annotation failures

  bobismijnnaam

  committed
  af5b519

  Copy full SHA for af5b519

Commits on Oct 5, 2023

• Should try next time to make a new javabip constructor type. Then it can also be generated more restrictedly

  bobismijnnaam

  committed
  0d47329

  Copy full SHA for 0d47329

Commits on Oct 6, 2023

• Add BipConstructor AST node

  bobismijnnaam

  committed
  b688488

  Copy full SHA for b688488

• Add blame that we'll need in the future

  bobismijnnaam

  committed
  e7d64c4

  Copy full SHA for e7d64c4

Commits on Oct 10, 2023

• Add BipConstructor node

  bobismijnnaam

  committed
  10c83bb

  Copy full SHA for 10c83bb

• Remove references that became redundant because of making the bip constructor node explicit

  bobismijnnaam

  committed
  5b348dd

  Copy full SHA for 5b348dd

• Making java constructor errors first class

  bobismijnnaam

  committed
  38f0bb4

  Copy full SHA for 38f0bb4

• Only allow precondition on javabip constructors

  bobismijnnaam

  committed
  7092c6e

  Copy full SHA for 7092c6e

• Fiddle with Java object init

  bobismijnnaam

  committed
  7fc9e91

  Copy full SHA for 7fc9e91

Commits on Oct 11, 2023

• Compiles since a long while

  bobismijnnaam

  committed
  41b209c

  Copy full SHA for 41b209c

• Hmm

  bobismijnnaam

  committed
  ab40e3a

  Copy full SHA for ab40e3a

• Make sure bip constructor is only generated for the non-statics class

  bobismijnnaam

  committed
  b7f4212

  Copy full SHA for b7f4212

Commits on Oct 12, 2023

• Make sure bip constructor arguments are declared

  bobismijnnaam

  committed
  9867f86

  Copy full SHA for 9867f86

• Pass

  bobismijnnaam

  committed
  0d8df1e

  Copy full SHA for 0d8df1e

• Remove old commented lines

  bobismijnnaam

  committed
  438b607

  Copy full SHA for 438b607

• Old comment

  bobismijnnaam

  committed
  30611de

  Copy full SHA for 30611de

• Resolve last few warnings

  bobismijnnaam

  committed
  8e2706a

  Copy full SHA for 8e2706a

• Change ??? to ""

  bobismijnnaam

  committed
  333657b

  Copy full SHA for 333657b

• Clarify none

  bobismijnnaam

  committed
  37be115

  Copy full SHA for 37be115

• Merge branch 'dev' into resolve-javabip-warnings

  bobismijnnaam

  committed
  bfd0b5c

  Copy full SHA for bfd0b5c

• Add missing cases

  bobismijnnaam

  committed
  df458c8

  Copy full SHA for df458c8