Code

Java fixes#459

Code

Merged

RustanLeino merged 14 commits intodafny-lang:masterdafny-lang/dafny:masterfrom lukemaurer:java-fixeslukemaurer/dafny:java-fixesCopy head branch name to clipboardJan 2, 2020

+688-289

Commits

Commits on Dec 12, 2019

• Java: Don't use wildcard imports

  Show description for eba7f2a
  

  Luke Maurer

  committed
  eba7f2a

  Copy full SHA for eba7f2a

• Java: Fully qualify names from JDK; import nothing by default

  Show description for 3b9a309
  

  Luke Maurer

  committed
  3b9a309

  Copy full SHA for 3b9a309

• Java: Include type parameters when declaring tuple as local variable

  

  Luke Maurer

  committed
  969101b

  Copy full SHA for 969101b

• Java, Go: Fixes for casts of cardinality operator

  Show description for b5ffbf6
  

  Luke Maurer

  committed
  b5ffbf6

  Copy full SHA for b5ffbf6

• Java: Support arbitrary names for fields of parameter type

  Show description for 2943946
  

  Luke Maurer

  committed
  2943946

  Copy full SHA for 2943946

• Java: Fix implementation of newtype methods

  Show description for 714ccb9
  

  Luke Maurer

  committed
  714ccb9

  Copy full SHA for 714ccb9

• Go: Use File.Copy to copy externs into place

  Show description for 9c1caef
  

  Luke Maurer

  committed
  9c1caef

  Copy full SHA for 9c1caef

• Java: Allow extern classes to mix Dafny and extern code

  Show description for 6c2a8cc
  

  Luke Maurer

  committed
  6c2a8cc

  Copy full SHA for 6c2a8cc

• Java: Support two-argument extern declarations

  Show description for 49db5c4
  

  Luke Maurer

  committed
  49db5c4

  Copy full SHA for 49db5c4

• Only consider a class an extern class if it has an extern member

  Show description for 42466b5
  

  Luke Maurer

  committed
  42466b5

  Copy full SHA for 42466b5

• JavaSript: Invoke superclass constructor from constructor

  

  Luke Maurer

  committed
  ca80126

  Copy full SHA for ca80126

• Split out tests for extern constructors

  Show description for 0ee2500
  

  Luke Maurer

  committed
  0ee2500

  Copy full SHA for 0ee2500

Commits on Dec 16, 2019

• Formatting

  

  Luke Maurer

  committed
  4ea261d

  Copy full SHA for 4ea261d

Commits on Dec 30, 2019

• Remove special case for extern classes without extern methods

  Show description for 0dcf116
  

  Luke Maurer

  committed
  0dcf116

  Copy full SHA for 0dcf116