Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(585)

Unified Diff: pkg/serialization/lib/src/serialization_rule.dart

Issue 584473004: Revert "remove serialization. it's moved to github" (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
« no previous file with comments | « pkg/serialization/lib/src/serialization_helpers.dart ('k') | pkg/serialization/pubspec.yaml » ('j') | no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
Index: pkg/serialization/lib/src/serialization_rule.dart
diff --git a/pkg/serialization/lib/src/serialization_rule.dart b/pkg/serialization/lib/src/serialization_rule.dart
new file mode 100644
index 0000000000000000000000000000000000000000..38fafca6d93e187859173e37655e4d6208d57300
--- /dev/null
+++ b/pkg/serialization/lib/src/serialization_rule.dart
@@ -0,0 +1,581 @@
+// Copyright (c) 2012, 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.
+
+part of serialization;
+
+// TODO(alanknight): We should have an example and tests for subclassing
+// serialization rule rather than using the hard-coded ClosureToMap rule. And
+// possibly an abstract superclass that's designed to be subclassed that way.
+/**
+ * The abstract superclass for serialization rules.
+ */
+abstract class SerializationRule {
+ /**
+ * Rules belong uniquely to a particular Serialization instance, and can
+ * be identified within it by number.
+ */
+ int _number;
+
+ /**
+ * Rules belong uniquely to a particular Serialization instance, and can
+ * be identified within it by number.
+ */
+ int get number => _number;
+
+ /**
+ * Rules belong uniquely to a particular Serialization instance, and can
+ * be identified within it by number.
+ */
+ void set number(int value) {
+ if (_number != null && _number != value) throw
+ new SerializationException("Rule numbers cannot be changed, once set");
+ _number = value;
+ }
+
+ /**
+ * Return true if this rule applies to this object, in the context
+ * where we're writing it, false otherwise.
+ */
+ bool appliesTo(object, Writer writer);
+
+ /**
+ * This extracts the state from the object, calling [f] for each value
+ * as it is extracted, and returning an object representing the whole
+ * state at the end. The state that results will still have direct
+ * pointers to objects, rather than references.
+ */
+ extractState(object, void f(value), Writer w);
+
+ /**
+ * Allows rules to tell us how they expect to store their state. If this
+ * isn't specified we can also just look at the data to tell.
+ */
+ bool get storesStateAsLists => false;
+ bool get storesStateAsMaps => false;
+ bool get storesStateAsPrimitives => false;
+
+ /**
+ * Given the variables representing the state of an object, flatten it
+ * by turning object pointers into Reference objects where needed. This
+ * destructively modifies the state object.
+ *
+ * This has a default implementation which assumes that object is indexable,
+ * so either conforms to Map or List. Subclasses may override to do something
+ * different, including returning a new state object to be used in place
+ * of the original.
+ */
+ // This has to be a separate operation from extracting, because we extract
+ // as we are traversing the objects, so we don't yet have the objects to
+ // generate references for them. It might be possible to avoid that by
+ // doing a depth-first rather than breadth-first traversal, but I'm not
+ // sure it's worth it.
+ flatten(state, Writer writer) {
+ keysAndValues(state).forEach((key, value) {
+ var reference = writer._referenceFor(value);
+ state[key] = reference;
+ });
+ }
+
+ /** Return true if this rule should only be applied when we are the first
+ * rule found that applies to this object. This may or may not be a hack
+ * that will disappear once we have better support for multiple rules.
+ * We want to have multiple different rules that apply to the same object. We
+ * also want to have multiple different rules that might exclusively apply
+ * to the same object. So, we want either ListRule or ListRuleEssential, and
+ * only one of them can be there. But on the other hand, we may want both
+ * ListRule and BasicRule. So we identify the kinds of rules that can share.
+ * If mustBePrimary returns true, then this rule will only be chosen if no
+ * other rule has been found yet. This means that the ordering of rules in
+ * the serialization is significant, which is unpleasant, but we'll have
+ * to see how bad it is.
+ */
+ // TODO(alanknight): Reconsider whether this should be handled differently.
+ bool get mustBePrimary => false;
+
+ /**
+ * Create the new object corresponding to [state] using the rules
+ * from [reader]. This may involve recursively inflating "essential"
+ * references in the state, which are those that are required for the
+ * object's constructor. It is up to the rule what state is considered
+ * essential.
+ */
+ inflateEssential(state, Reader reader);
+
+ /**
+ * The [object] has already been created. Set any of its non-essential
+ * variables from the representation in [state]. Where there are references
+ * to other objects they are resolved in the context of [reader].
+ */
+ void inflateNonEssential(state, object, Reader reader);
+
+ /**
+ * If we have [object] as part of our state, should we represent that
+ * directly, or should we make a reference for it. By default, true.
+ * This may also delegate to [writer].
+ */
+ bool shouldUseReferenceFor(object, Writer writer) => true;
+
+ /**
+ * Return true if the data this rule returns is variable length, so a
+ * length needs to be written for it if the format requires that. Return
+ * false if the results are always the same length.
+ */
+ bool get hasVariableLengthEntries => true;
+
+ /**
+ * If the data is fixed length, return it here. The format may or may not
+ * make use of this, depending on whether it already has enough information
+ * to determine the length on its own. If [hasVariableLengthEntries] is true
+ * this is ignored.
+ */
+ int get dataLength => 0;
+}
+
+/**
+ * This rule handles things that implement List. It will recreate them as
+ * whatever the default implemenation of List is on the target platform.
+ */
+class ListRule extends SerializationRule {
+
+ bool appliesTo(object, Writer w) => object is List;
+
+ bool get storesStateAsLists => true;
+
+ List extractState(List list, f, Writer w) {
+ var result = new List();
+ for (var each in list) {
+ result.add(each);
+ f(each);
+ }
+ return result;
+ }
+
+ inflateEssential(List state, Reader r) => new List();
+
+ // For a list, we consider all of its state non-essential and add it
+ // after creation.
+ void inflateNonEssential(List state, List newList, Reader r) {
+ populateContents(state, newList, r);
+ }
+
+ void populateContents(List state, List newList, Reader r) {
+ for(var each in state) {
+ newList.add(r.inflateReference(each));
+ }
+ }
+
+ bool get hasVariableLengthEntries => true;
+}
+
+/**
+ * This is a subclass of ListRule where all of the list's contents are
+ * considered essential state. This is needed if an object X contains a List L,
+ * but it expects L's contents to be fixed when X's constructor is called.
+ */
+class ListRuleEssential extends ListRule {
+
+ /** Create the new List and also inflate all of its contents. */
+ inflateEssential(List state, Reader r) {
+ var object = super.inflateEssential(state, r);
+ populateContents(state, object, r);
+ return object;
+ }
+
+ /** Does nothing, because all the work has been done in inflateEssential. */
+ void inflateNonEssential(state, newList, reader) {}
+
+ bool get mustBePrimary => true;
+}
+
+/**
+ * This rule handles things that implement Map. It will recreate them as
+ * whatever the default implemenation of Map is on the target platform. If a
+ * map has string keys it will attempt to retain it as a map for JSON formats,
+ * otherwise it will store it as a list of references to keys and values.
+ */
+class MapRule extends SerializationRule {
+
+ bool appliesTo(object, Writer w) => object is Map;
+
+ bool get storesStateAsMaps => true;
+
+ extractState(Map map, f, Writer w) {
+ // Note that we make a copy here because flattening may be destructive.
+ var newMap = new Map.from(map);
+ newMap.forEach((key, value) {
+ f(key);
+ f(value);
+ });
+ return newMap;
+ }
+
+ /**
+ * Change the keys and values of [state] into references in [writer].
+ * If [state] is a map whose keys are all strings then we leave the keys
+ * as is so that JSON formats will be more readable. If the keys are
+ * arbitrary then we need to turn them into references and replace the
+ * state with a new Map whose keys are the references.
+ */
+ flatten(Map state, Writer writer) {
+ bool keysAreAllStrings = state.keys.every((x) => x is String);
+ if (keysAreAllStrings && !writer.shouldUseReferencesForPrimitives) {
+ keysAndValues(state).forEach(
+ (key, value) => state[key] = writer._referenceFor(value));
+ return state;
+ } else {
+ var newState = [];
+ keysAndValues(state).forEach((key, value) {
+ newState.add(writer._referenceFor(key));
+ newState.add(writer._referenceFor(value));
+ });
+ return newState;
+ }
+ }
+
+ inflateEssential(state, Reader r) => new Map();
+
+ // For a map, we consider all of its state non-essential and add it
+ // after creation.
+ void inflateNonEssential(state, Map newMap, Reader r) {
+ if (state is List) {
+ inflateNonEssentialFromList(state, newMap, r);
+ } else {
+ inflateNonEssentialFromMap(state, newMap, r);
+ }
+ }
+
+ void inflateNonEssentialFromList(List state, Map newMap, Reader r) {
+ var key;
+ for (var each in state) {
+ if (key == null) {
+ key = each;
+ } else {
+ newMap[r.inflateReference(key)] = r.inflateReference(each);
+ key = null;
+ }
+ }
+ }
+
+ void inflateNonEssentialFromMap(Map state, Map newMap, Reader r) {
+ state.forEach((key, value) {
+ newMap[r.inflateReference(key)] = r.inflateReference(value);
+ });
+ }
+
+ bool get hasVariableLengthEntries => true;
+}
+
+/**
+ * This rule handles primitive types, defined as those that we can normally
+ * represent directly in the output format. We hard-code that to mean
+ * num, String, and bool.
+ */
+class PrimitiveRule extends SerializationRule {
+ bool appliesTo(object, Writer w) => isPrimitive(object);
+ extractState(object, Function f, Writer w) => object;
+ flatten(object, Writer writer) {}
+ inflateEssential(state, Reader r) => state;
+ void inflateNonEssential(object, _, Reader r) {}
+
+ bool get storesStateAsPrimitives => true;
+
+ /**
+ * Indicate whether we should save pointers to this object as references
+ * or store the object directly. For primitives this depends on the format,
+ * so we delegate to the writer.
+ */
+ bool shouldUseReferenceFor(object, Writer w) =>
+ w.shouldUseReferencesForPrimitives;
+
+ bool get hasVariableLengthEntries => false;
+}
+
+/** Typedef for the object construction closure used in ClosureRule. */
+typedef ConstructType(Map m);
+
+/** Typedef for the state-getting closure used in ClosureToMapRule. */
+typedef Map<String, dynamic> GetStateType(object);
+
+/** Typedef for the state-setting closure used in ClosureToMapRule. */
+typedef void NonEssentialStateType(object, Map m);
+
+/**
+ * This is a rule where the extraction and creation are hard-coded as
+ * closures. The result is expected to be a map indexed by field name.
+ */
+class ClosureRule extends CustomRule {
+
+ /** The runtimeType of objects that this rule applies to. Used in appliesTo.*/
+ final Type type;
+
+ /** The function for constructing new objects when reading. */
+ final ConstructType construct;
+
+ /** The function for returning an object's state as a Map. */
+ final GetStateType getStateFunction;
+
+ /** The function for setting an object's state from a Map. */
+ final NonEssentialStateType setNonEssentialState;
+
+ /**
+ * Create a ClosureToMapRule for the given [type] which gets an object's
+ * state by calling [getState], creates a new object by calling [construct]
+ * and sets the new object's state by calling [setNonEssentialState].
+ */
+ ClosureRule(this.type, this.getStateFunction, this.construct,
+ this.setNonEssentialState);
+
+ bool appliesTo(object, Writer w) => object.runtimeType == type;
+
+ getState(object) => getStateFunction(object);
+
+ create(state) => construct(state);
+
+ void setState(object, state) {
+ if (setNonEssentialState == null) return;
+ setNonEssentialState(object, state);
+ }
+}
+
+/**
+ * This rule handles things we can't pass directly, but only by reference.
+ * If objects are listed in the namedObjects in the writer or serialization,
+ * it will save the name rather than saving the state.
+ */
+class NamedObjectRule extends SerializationRule {
+ /**
+ * Return true if this rule applies to the object. Checked by looking up
+ * in the namedObjects collection.
+ */
+ bool appliesTo(object, Writer writer) {
+ return writer.hasNameFor(object);
+ }
+
+ /** Extract the state of the named objects as just the object itself. */
+ extractState(object, Function f, Writer writer) {
+ var result = [nameFor(object, writer)];
+ f(result.first);
+ return result;
+ }
+
+ /** When we flatten the state we save it as the name. */
+ // TODO(alanknight): This seems questionable. In a truly flat format we may
+ // want to have extracted the name as a string first and flatten it into a
+ // reference to that. But that requires adding the Writer as a parameter to
+ // extractState, and I'm reluctant to add yet another parameter until
+ // proven necessary.
+ flatten(state, Writer writer) {
+ state[0] = writer._referenceFor(state[0]);
+ }
+
+ /** Look up the named object and return it. */
+ inflateEssential(state, Reader r) =>
+ r.objectNamed(r.resolveReference(state.first));
+
+ /** Set any non-essential state on the object. For this rule, a no-op. */
+ void inflateNonEssential(state, object, Reader r) {}
+
+ /** Return the name for this object in the Writer. */
+ String nameFor(object, Writer writer) => writer.nameFor(object);
+}
+
+/**
+ * This rule handles the special case of Mirrors. It stores the mirror by its
+ * qualifiedName and attempts to look it up in both the namedObjects
+ * collection, or if it's not found there, by looking it up in the mirror
+ * system. When reading, the user is responsible for supplying the appropriate
+ * values in [Serialization.namedObjects] or in the [externals] paramter to
+ * [Serialization.read].
+ */
+class MirrorRule extends NamedObjectRule {
+ bool appliesTo(object, Writer writer) => object is DeclarationMirror;
+
+ String nameFor(DeclarationMirror object, Writer writer) =>
+ MirrorSystem.getName(object.qualifiedName);
+
+ inflateEssential(state, Reader r) {
+ var qualifiedName = r.resolveReference(state.first);
+ var lookupFull = r.objectNamed(qualifiedName, (x) => null);
+ if (lookupFull != null) return lookupFull;
+ var separatorIndex = qualifiedName.lastIndexOf(".");
+ var type = qualifiedName.substring(separatorIndex + 1);
+ var lookup = r.objectNamed(type, (x) => null);
+ if (lookup != null) return lookup;
+ var name = qualifiedName.substring(0, separatorIndex);
+ // This is very ugly. The library name for an unnamed library is its URI.
+ // That can't be constructed as a Symbol, so we can't use findLibrary.
+ // So follow one or the other path depending if it has a colon, which we
+ // assume is in any URI and can't be in a Symbol.
+ if (name.contains(":")) {
+ var uri = Uri.parse(name);
+ var libMirror = currentMirrorSystem().libraries[uri];
+ var candidate = libMirror.declarations[new Symbol(type)];
+ return candidate is ClassMirror ? candidate : null;
+ } else {
+ var symbol = new Symbol(name);
+ var typeSymbol = new Symbol(type);
+ for (var libMirror in currentMirrorSystem().libraries.values) {
+ if (libMirror.simpleName != symbol) continue;
+ var candidate = libMirror.declarations[typeSymbol];
+ if (candidate != null && candidate is ClassMirror) return candidate;
+ }
+ return null;
+ }
+ }
+}
+
+/**
+ * This provides an abstract superclass for writing your own rules specific to
+ * a class. It makes some assumptions about behaviour, and so can have a
+ * simpler set of methods that need to be implemented in order to subclass it.
+ *
+ */
+abstract class CustomRule extends SerializationRule {
+ // TODO(alanknight): It would be nice if we could provide an implementation
+ // of appliesTo() here. If we add a type parameter to these classes
+ // we can "is" test against it, but we need to be able to rule out subclasses.
+ // => instance.runtimeType == T
+ // should work.
+ /**
+ * Return true if this rule applies to this object, in the context
+ * where we're writing it, false otherwise.
+ */
+ bool appliesTo(instance, Writer w);
+
+ /**
+ * Subclasses should implement this to return a list of the important fields
+ * in the object. The order of the fields doesn't matter, except that the
+ * create and setState methods need to know how to use it.
+ */
+ List getState(instance);
+
+ /**
+ * Given a [List] of the object's [state], re-create the object. This should
+ * do the minimum needed to create the object, just calling the constructor.
+ * Setting the remaining state of the object should be done in the [setState]
+ * method, which will be called only once all the objects are created, so
+ * it won't cause problems with cycles.
+ */
+ create(List state);
+
+ /**
+ * Set any state in [object] which wasn't set in the constructor. Between
+ * this method and [create] all of the information in [state] should be set
+ * in the new object.
+ */
+ void setState(object, List state);
+
+ extractState(instance, Function f, Writer w) {
+ var state = getState(instance);
+ for (var each in values(state)) {
+ f(each);
+ }
+ return state;
+ }
+
+ inflateEssential(state, Reader r) => create(_lazy(state, r));
+
+ void inflateNonEssential(state, object, Reader r) {
+ setState(object, _lazy(state, r));
+ }
+
+ // We don't want to have to make the end user tell us how long the list is
+ // separately, so write it out for each object, even though they're all
+ // expected to be the same length.
+ bool get hasVariableLengthEntries => true;
+}
+
+/** A hard-coded rule for serializing Symbols. */
+class SymbolRule extends CustomRule {
+ bool appliesTo(instance, _) => instance is Symbol;
+ getState(instance) => [MirrorSystem.getName(instance)];
+ create(state) => new Symbol(state[0]);
+ void setState(symbol, state) {}
+ int get dataLength => 1;
+ bool get hasVariableLengthEntries => false;
+}
+
+/** A hard-coded rule for DateTime. */
+class DateTimeRule extends CustomRule {
+ bool appliesTo(instance, _) => instance is DateTime;
+ List getState(DateTime date) => [date.millisecondsSinceEpoch, date.isUtc];
+ DateTime create(List state) =>
+ new DateTime.fromMillisecondsSinceEpoch(state[0], isUtc: state[1]);
+ void setState(date, state) {}
+ // Let the system know we don't have to store a length for these.
+ int get dataLength => 2;
+ bool get hasVariableLengthEntries => false;
+}
+
+/** Create a lazy list/map that will inflate its items on demand in [r]. */
+_lazy(l, Reader r) {
+ if (l is List) return new _LazyList(l, r);
+ if (l is Map) return new _LazyMap(l, r);
+ throw new SerializationException("Invalid type: must be Map or List - $l");
+}
+
+/**
+ * This provides an implementation of Map that wraps a list which may
+ * contain references to (potentially) non-inflated objects. If these
+ * are accessed it will inflate them. This allows us to pass something that
+ * looks like it's just a list of objects to a [CustomRule] without needing
+ * to inflate all the references in advance.
+ */
+class _LazyMap implements Map {
+ _LazyMap(this._raw, this._reader);
+
+ final Map _raw;
+ final Reader _reader;
+
+ // This is the only operation that really matters.
+ operator [](x) => _reader.inflateReference(_raw[x]);
+
+ int get length => _raw.length;
+ bool get isEmpty => _raw.isEmpty;
+ bool get isNotEmpty => _raw.isNotEmpty;
+ Iterable get keys => _raw.keys;
+ bool containsKey(x) => _raw.containsKey(x);
+
+ // These operations will work, but may be expensive, and are probably
+ // best avoided.
+ get _inflated => mapValues(_raw, _reader.inflateReference);
+ bool containsValue(x) => _inflated.containsValue(x);
+ Iterable get values => _inflated.values;
+ void forEach(f) => _inflated.forEach(f);
+
+ // These operations are all invalid
+ _throw() {
+ throw new UnsupportedError("Not modifiable");
+ }
+ operator []=(x, y) => _throw();
+ putIfAbsent(x, y) => _throw();
+ bool remove(x) => _throw();
+ void clear() => _throw();
+ void addAll(Map other) => _throw();
+}
+
+/**
+ * This provides an implementation of List that wraps a list which may
+ * contain references to (potentially) non-inflated objects. If these
+ * are accessed it will inflate them. This allows us to pass something that
+ * looks like it's just a list of objects to a [CustomRule] without needing
+ * to inflate all the references in advance.
+ */
+class _LazyList extends ListBase {
+ _LazyList(this._raw, this._reader);
+
+ final List _raw;
+ final Reader _reader;
+
+ operator [](int x) => _reader.inflateReference(_raw[x]);
+ int get length => _raw.length;
+
+ void set length(int value) => _throw();
+
+ void operator []=(int index, value) => _throw();
+
+ void _throw() {
+ throw new UnsupportedError("Not modifiable");
+ }
+}
« no previous file with comments | « pkg/serialization/lib/src/serialization_helpers.dart ('k') | pkg/serialization/pubspec.yaml » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698