-
Notifications
You must be signed in to change notification settings - Fork 256
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
Test Xlint:deprecation #352
Closed
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
createMethod will output, for example, public int add(int i, int j) {}, no method body yet cr https://code.amazon.com/reviews/CR-9355779
package main; import java.*; import dafny.* Modules are also added to imports list so subsequent modules can import those packages cr https://code.amazon.com/reviews/CR-9390107
CreateFunction method output example : public static int Add(int x, int y) {} DeclareField output example: public int divisor; Implemented CreateClass function which creates new file and declares class in that file, part of the same package as ModuleName Example output of CreateClass: package main; import dafny; import java.*; public class ClassName implements SuperClass1, SuperClass2 {} cr https://code.amazon.com/reviews/CR-9470851
Emit Static Receiver Expressions, null types, chars, strings, the Dafny native types, BigIntegers, and BigDecimals This is the first part of implementing all the methods called in TrExpr in Compiler.cs cr https://code.amazon.com/reviews/CR-9518146
implements EmitCollectionDisplay, which prints out the Dafny sets, multisets, and sequences implements EmitMapDisplay, which prints Java code for Dafny maps implements multiple methods which display Java code for member-select expressions and their special fields, such as Array.length cr https://code.amazon.com/reviews/CR-9558585
Array example: arr[(int) 5] DafnySequence example: seq.subsequence(3, 2) MultiSet formation from sequence example: seq.asDafnyMultiset() Updating DafnySequence: seq.update(3, 'newVal') cr https://code.amazon.com/reviews/CR-9593669
DeclareDatatype and related functions taken from C# and simplified as recommended, only add to make sure program compiles end-to-end cr https://code.amazon.com/reviews/CR-9639411
… /compile:3 is set
NO LOGICAL CHANGES: Add comment Factor out classpath creation to new method
cr https://code.amazon.com/reviews/CR-11589645 Write null instead of empty string
cr https://code.amazon.com/reviews/CR-11689053 Factor out TypeName checking Make unsigned type strings static
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
TEST: testing output of "javac -Xlint:deprecation" to see what output code is deprecated.