@kieler/klighd-core
Version:
Core KLighD diagram visualization with Sprotty
176 lines • 6.91 kB
JavaScript
;
/*
* KIELER - Kiel Integrated Environment for Layout Eclipse RichClient
*
* http://rtsys.informatik.uni-kiel.de/kieler
*
* Copyright 2021 by
* + Kiel University
* + Department of Computer Science
* + Real-Time and Embedded Systems Group
*
* This program and the accompanying materials are made available under the
* terms of the Eclipse Public License 2.0 which is available at
* http://www.eclipse.org/legal/epl-2.0.
*
* SPDX-License-Identifier: EPL-2.0
*/
// We follow Sprotty's way of redeclaring the interface and its create function, so disable this lint check for this file.
/* eslint-disable no-redeclare */
Object.defineProperty(exports, "__esModule", { value: true });
exports.ResetRenderOptionsAction = exports.SetRenderOptionAction = exports.ResetLayoutOptionsAction = exports.SetLayoutOptionsAction = exports.ResetSynthesisOptionsAction = exports.SetSynthesisOptionsAction = exports.ResetPreferencesAction = exports.SetPreferencesAction = exports.PerformOptionsActionAction = exports.UpdateOptionsAction = void 0;
var UpdateOptionsAction;
(function (UpdateOptionsAction) {
UpdateOptionsAction.KIND = 'updateOptions';
function create(valuedSynthesisOptions, layoutOptions, actions, modelUri) {
return {
kind: UpdateOptionsAction.KIND,
valuedSynthesisOptions,
layoutOptions,
actions,
modelUri,
};
}
UpdateOptionsAction.create = create;
function isThisAction(action) {
return action.kind === UpdateOptionsAction.KIND;
}
UpdateOptionsAction.isThisAction = isThisAction;
})(UpdateOptionsAction || (exports.UpdateOptionsAction = UpdateOptionsAction = {}));
var PerformOptionsActionAction;
(function (PerformOptionsActionAction) {
PerformOptionsActionAction.KIND = 'performOptionsAction';
function create(actionId) {
return {
kind: PerformOptionsActionAction.KIND,
actionId,
};
}
PerformOptionsActionAction.create = create;
function isThisAction(action) {
return action.kind === PerformOptionsActionAction.KIND;
}
PerformOptionsActionAction.isThisAction = isThisAction;
})(PerformOptionsActionAction || (exports.PerformOptionsActionAction = PerformOptionsActionAction = {}));
var SetPreferencesAction;
(function (SetPreferencesAction) {
SetPreferencesAction.KIND = 'setPreferences';
function create(options) {
return {
kind: SetPreferencesAction.KIND,
options,
};
}
SetPreferencesAction.create = create;
function isThisAction(action) {
return action.kind === SetPreferencesAction.KIND;
}
SetPreferencesAction.isThisAction = isThisAction;
})(SetPreferencesAction || (exports.SetPreferencesAction = SetPreferencesAction = {}));
var ResetPreferencesAction;
(function (ResetPreferencesAction) {
ResetPreferencesAction.KIND = 'resetPreferences';
function create() {
return {
kind: ResetPreferencesAction.KIND,
};
}
ResetPreferencesAction.create = create;
function isThisAction(action) {
return action.kind === ResetPreferencesAction.KIND;
}
ResetPreferencesAction.isThisAction = isThisAction;
})(ResetPreferencesAction || (exports.ResetPreferencesAction = ResetPreferencesAction = {}));
var SetSynthesisOptionsAction;
(function (SetSynthesisOptionsAction) {
SetSynthesisOptionsAction.KIND = 'setSynthesisOptions';
function create(options, sendToServer = true) {
return {
kind: SetSynthesisOptionsAction.KIND,
sendToServer,
options,
};
}
SetSynthesisOptionsAction.create = create;
function isThisAction(action) {
return action.kind === SetSynthesisOptionsAction.KIND;
}
SetSynthesisOptionsAction.isThisAction = isThisAction;
})(SetSynthesisOptionsAction || (exports.SetSynthesisOptionsAction = SetSynthesisOptionsAction = {}));
var ResetSynthesisOptionsAction;
(function (ResetSynthesisOptionsAction) {
ResetSynthesisOptionsAction.KIND = 'resetSynthesisOptions';
function create(sendToServer = true) {
return {
kind: ResetSynthesisOptionsAction.KIND,
sendToServer,
};
}
ResetSynthesisOptionsAction.create = create;
function isThisAction(action) {
return action.kind === ResetSynthesisOptionsAction.KIND;
}
ResetSynthesisOptionsAction.isThisAction = isThisAction;
})(ResetSynthesisOptionsAction || (exports.ResetSynthesisOptionsAction = ResetSynthesisOptionsAction = {}));
var SetLayoutOptionsAction;
(function (SetLayoutOptionsAction) {
SetLayoutOptionsAction.KIND = 'setLayoutOptions';
function create(options, sendToServer = true) {
return {
kind: SetLayoutOptionsAction.KIND,
sendToServer,
options,
};
}
SetLayoutOptionsAction.create = create;
function isThisAction(action) {
return action.kind === SetLayoutOptionsAction.KIND;
}
SetLayoutOptionsAction.isThisAction = isThisAction;
})(SetLayoutOptionsAction || (exports.SetLayoutOptionsAction = SetLayoutOptionsAction = {}));
var ResetLayoutOptionsAction;
(function (ResetLayoutOptionsAction) {
ResetLayoutOptionsAction.KIND = 'resetLayoutOptions';
function create(sendToServer = true) {
return {
kind: ResetLayoutOptionsAction.KIND,
sendToServer,
};
}
ResetLayoutOptionsAction.create = create;
function isThisAction(action) {
return action.kind === ResetLayoutOptionsAction.KIND;
}
ResetLayoutOptionsAction.isThisAction = isThisAction;
})(ResetLayoutOptionsAction || (exports.ResetLayoutOptionsAction = ResetLayoutOptionsAction = {}));
var SetRenderOptionAction;
(function (SetRenderOptionAction) {
SetRenderOptionAction.KIND = 'setRenderOption';
function create(id, value) {
return {
kind: SetRenderOptionAction.KIND,
id,
value,
};
}
SetRenderOptionAction.create = create;
function isThisAction(action) {
return action.kind === SetRenderOptionAction.KIND;
}
SetRenderOptionAction.isThisAction = isThisAction;
})(SetRenderOptionAction || (exports.SetRenderOptionAction = SetRenderOptionAction = {}));
var ResetRenderOptionsAction;
(function (ResetRenderOptionsAction) {
ResetRenderOptionsAction.KIND = 'resetRenderOptions';
function create() {
return {
kind: ResetRenderOptionsAction.KIND,
};
}
ResetRenderOptionsAction.create = create;
function isThisAction(action) {
return action.kind === ResetRenderOptionsAction.KIND;
}
ResetRenderOptionsAction.isThisAction = isThisAction;
})(ResetRenderOptionsAction || (exports.ResetRenderOptionsAction = ResetRenderOptionsAction = {}));
//# sourceMappingURL=actions.js.map