forked from dafny-lang/dafny
-
Notifications
You must be signed in to change notification settings - Fork 0
Open
Description
Top-level decl 출력
-
AbstractTypeDecl출력 구현 -
NewtypeDecl출력 구현 -
SubsetTypeDecl출력 구현 -
TypeSynonymDecl출력 구현 -
DatatypeDecl출력 구현 -
IteratorDecl출력 구현 -
ClassLikeDecl출력 구현 -
ValuetypeDecl출력 구현 -
ModuleDecl출력 구현
Member 출력(현재 Field가 비어 있고 그 외 멤버 타입도 막힘)
-
Field출력 구현 (AstPrinter.PrintMembers)
Expression 출력
-
UnaryOpExpr.Opcode.Negate출력 구현 (AstPrinter.Expression.cs의 unary switch)
Metadata
Metadata
Assignees
Labels
No labels