From 1713378438eecd960aac15cf576b4cc792c2d83f Mon Sep 17 00:00:00 2001 From: Andrzej Kotulski Date: Thu, 13 Oct 2016 06:30:02 -0700 Subject: [PATCH] [IR] Make some fields of ProcAttributes.t immutable Summary: Nothing mutates those fields so there is no need to make them `mutable` Reviewed By: cristianoc Differential Revision: D4009166 fbshipit-source-id: b840a4b --- infer/src/IR/ProcAttributes.re | 4 ++-- infer/src/IR/ProcAttributes.rei | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/infer/src/IR/ProcAttributes.re b/infer/src/IR/ProcAttributes.re index f70a85273..eaaf995f6 100644 --- a/infer/src/IR/ProcAttributes.re +++ b/infer/src/IR/ProcAttributes.re @@ -33,12 +33,12 @@ type t = { const_formals: list int, /** list of indices of formals that are const-qualified */ func_attributes: list PredSymb.func_attribute, is_abstract: bool, /** the procedure is abstract */ - mutable is_bridge_method: bool, /** the procedure is a bridge method */ + is_bridge_method: bool, /** the procedure is a bridge method */ is_defined: bool, /** true if the procedure is defined, and not just declared */ is_objc_instance_method: bool, /** the procedure is an objective-C instance method */ is_cpp_instance_method: bool, /** the procedure is an C++ instance method */ is_java_synchronized_method: bool, /** the procedure is a Java synchronized method */ - mutable is_synthetic_method: bool, /** the procedure is a synthetic method */ + is_synthetic_method: bool, /** the procedure is a synthetic method */ language: Config.language, /** language of the procedure */ loc: Location.t, /** location of this procedure in the source code */ mutable locals: list (Mangled.t, Typ.t), /** name and type of local variables */ diff --git a/infer/src/IR/ProcAttributes.rei b/infer/src/IR/ProcAttributes.rei index 541195545..469f3cbc7 100644 --- a/infer/src/IR/ProcAttributes.rei +++ b/infer/src/IR/ProcAttributes.rei @@ -27,12 +27,12 @@ type t = { const_formals: list int, /** list of indices of formals that are const-qualified */ func_attributes: list PredSymb.func_attribute, is_abstract: bool, /** the procedure is abstract */ - mutable is_bridge_method: bool, /** the procedure is a bridge method */ + is_bridge_method: bool, /** the procedure is a bridge method */ is_defined: bool, /** true if the procedure is defined, and not just declared */ is_objc_instance_method: bool, /** the procedure is an objective-C instance method */ is_cpp_instance_method: bool, /** the procedure is an C++ instance method */ is_java_synchronized_method: bool, /** the procedure is a Java synchronized method */ - mutable is_synthetic_method: bool, /** the procedure is a synthetic method */ + is_synthetic_method: bool, /** the procedure is a synthetic method */ language: Config.language, /** language of the procedure */ loc: Location.t, /** location of this procedure in the source code */ mutable locals: list (Mangled.t, Typ.t), /** name and type of local variables */