File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -795,6 +795,9 @@ module Builtin {
795795 /** Gets the built-in function `cap`. */
796796 BuiltinFunction cap ( ) { result .getName ( ) = "cap" }
797797
798+ /** Gets the built-in function `clear`. */
799+ BuiltinFunction clear ( ) { result .getName ( ) = "clear" }
800+
798801 /** Gets the built-in function `close`. */
799802 BuiltinFunction close ( ) { result .getName ( ) = "close" }
800803
@@ -816,6 +819,12 @@ module Builtin {
816819 /** Gets the built-in function `make`. */
817820 BuiltinFunction make ( ) { result .getName ( ) = "make" }
818821
822+ /** Gets the built-in function `max`. */
823+ BuiltinFunction max_ ( ) { result .getName ( ) = "max" }
824+
825+ /** Gets the built-in function `min`. */
826+ BuiltinFunction min_ ( ) { result .getName ( ) = "min" }
827+
819828 /** Gets the built-in function `new`. */
820829 BuiltinFunction new ( ) { result .getName ( ) = "new" }
821830
You can’t perform that action at this time.
0 commit comments