public TypeAndFutureReference(SerializedType serializedType) { this.serializedType = serializedType; }
public EditorWindowType(SerializedType editorWindowType) { this.editorWindowType = editorWindowType; }
public TypedCriterion(SerializedType type, Criterion criterion) { this.type = type; this.criterion = criterion; }