store constructor and arguments for constant values

pkg/analyzer/lib/src/dart/constant/value.dart

 // Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * The implementation of the class [DartObject].
  */
 library analyzer.src.dart.constant.value;
 
 import 'dart:collection';
@@ skipping 357 matching lines @@
 
   @override
   DartObject getField(String name) {
     InstanceState state = _state;
     if (state is GenericState) {
       return state.fields[name];
     }
     return null;
   }
 
+  /// Gets the constructor that was called to create this value, if this is a
+  /// const constructor invocation. Otherwise returns null.
+  ConstructorElement getConstructor() {
+    InstanceState state = _state;
+    if (state is GenericState) {
+      return state.constructor;
+    }
+    return null;
+  }
+
+  /// Gets the arguments that were passed to create this value, if this is a
+  /// const constructor invocation. Otherwise returns null.
+  List<DartObject> getPositionalArguments() {
+    InstanceState state = _state;
+    if (state is GenericState) {
+      return state.positionalArguments;
+    }
+    return null;
+  }
+
+  /// Gets the named arguments that were passed to create this value, if this is
+  /// a const constructor invocation. Otherwise returns null.
+  Map<String, DartObject> getNamedArguments() {
+    InstanceState state = _state;
+    if (state is GenericState) {
+      return state.namedArguments;
+    }
+    return null;
+  }
+
   /**
    * Return the result of invoking the '&gt;' operator on this object with the
    * [rightOperand]. The [typeProvider] is the type provider used to find known
    * types.
    *
    * Throws an [EvaluationException] if the operator is not appropriate for an
    * object of this kind.
    */
   DartObjectImpl greaterThan(
           TypeProvider typeProvider, DartObjectImpl rightOperand) =>
@@ skipping 927 matching lines @@
    */
   static GenericState UNKNOWN_VALUE =
       new GenericState(new HashMap<String, DartObjectImpl>());
 
   /**
    * The values of the fields of this instance.
    */
   final HashMap<String, DartObjectImpl> _fieldMap;
 
   /**
+   * The constructor that was invoked to generate this instance.
+   */
+  final ConstructorElement constructor;
+
+  /**
+   * The positional arguments passed to the constructor to create this instance.
+   */
+  final List<DartObject> positionalArguments;
+
+  /**
+   * The named arguments passed to the constructor to create this instance.
+   */
+  final Map<String, DartObject> namedArguments;
+
+  /**
    * Initialize a newly created state to represent a newly created object. The
    * [fieldMap] contains the values of the fields of the instance.
    */
-  GenericState(this._fieldMap);
+  GenericState(this._fieldMap,
+      {this.constructor, this.positionalArguments, this.namedArguments});
 
   @override
   HashMap<String, DartObjectImpl> get fields => _fieldMap;
 
   @override
   int get hashCode {
     int hashCode = 0;
     for (DartObjectImpl value in _fieldMap.values) {
       hashCode += value.hashCode;
     }
@@ skipping 1469 matching lines @@
       return BoolState.from(_type == rightType);
     } else if (rightOperand is DynamicState) {
       return BoolState.UNKNOWN_VALUE;
     }
     return BoolState.FALSE_STATE;
   }
 
   @override
   String toString() => _type?.toString() ?? "-unknown-";
 }