wordCompletion.ts

import {

	CompletionItem,
	CompletionItemKind,
	TextDocumentPositionParams,

} from 'vscode-languageserver';

export function selectCompletion(textDocumentPosition : TextDocumentPositionParams) : CompletionItem[]{


	if(textDocumentPosition.textDocument.uri.endsWith(".mch")){
		return completionCommon().concat(completionAbstractMachine()).concat(completionCommonAbstract())
	}

	if(textDocumentPosition.textDocument.uri.endsWith(".ref")){
		return completionCommon().concat(completionRefinement()).concat(completionCommonAbstract())
	}

	if(textDocumentPosition.textDocument.uri.endsWith(".imp")){
		return completionCommon().concat(completionImplementation())
	}

	if(textDocumentPosition.textDocument.uri.endsWith(".def")){
		return completionDefinition()
	}

	if(textDocumentPosition.textDocument.uri.endsWith(".sys")){
		return completionEventB()
	}

	return []

}



function completionDefinition() : CompletionItem []{
	return[
		{
			label: 'DEFINITION',
			kind: CompletionItemKind.Text,
		}
	]

	
}

function completionAbstractMachine() : CompletionItem[] {
		
	return [
		{
			label: 'MACHINE',
			kind: CompletionItemKind.Text,
		}
	]
}

function completionImplementation() : CompletionItem[] {
		
	return [
		{
			label: 'IMPLEMENTATION',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'IMPORTS',
			kind: CompletionItemKind.Text,
		}
	]
}


function completionRefinement() : CompletionItem[] {
		
	return [
		{
			label: 'REFINEMENT',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'REFINES',
			kind: CompletionItemKind.Text,
		},
		
	]
}

function completionCommon() : CompletionItem[] {
		
	return [
		{
			label: 'SEES',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'INCLUDES',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'PROMOTES',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'EXTENDS',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'SETS',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'CONCRETE_CONSTANTS',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'PROPERTIES',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'CONCRETE_VARIALBES',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'INVARIANT',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'ASSERTIONS',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'OPERATIONS',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'END',
			kind: CompletionItemKind.Text,
		},
		{
			label:'skip',
			kind:CompletionItemKind.Text,
		},
		{
			label:'id',
			kind:CompletionItemKind.Text,
		},
		{
			label:'closure',
			kind:CompletionItemKind.Text,
		},
		{
			label:'closure1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'iterate',
			kind:CompletionItemKind.Text,
		},
		{
			label:'pred',
			kind:CompletionItemKind.Text,
		},
		{
			label:'succ',
			kind:CompletionItemKind.Text,
		},
		{
			label:'prj1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'prj2',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ran',
			kind:CompletionItemKind.Text,
		},
		{
			label:'dom',
			kind:CompletionItemKind.Text,
		},
		{
			label:'POW',
			kind:CompletionItemKind.Text,
		},
		{
			label:'POW1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'NAT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'NAT1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'INT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'INTEGER',
			kind:CompletionItemKind.Text,
		},
		{
			label:'NATURAL',
			kind:CompletionItemKind.Text,
		},
		{
			label:'NATURAL1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'MININT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'MAXINT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'FIN',
			kind:CompletionItemKind.Text,
		},
		{
			label:'FIN1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'card',
			kind:CompletionItemKind.Text,
		},
		{
			label:'union',
			kind:CompletionItemKind.Text,
		},
		{
			label:'UNION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'inter',
			kind:CompletionItemKind.Text,
		},
		{
			label:'INTER',
			kind:CompletionItemKind.Text,
		},
		{
			label:'PI',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SIGMA',
			kind:CompletionItemKind.Text,
		},
		{
			label:'mod',
			kind:CompletionItemKind.Text,
		},
		{
			label:'seq',
			kind:CompletionItemKind.Text,
		},
		{
			label:'seq1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'iseq',
			kind:CompletionItemKind.Text,
		},
		{
			label:'iseq1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'perm',
			kind:CompletionItemKind.Text,
		},
		{
			label:'size',
			kind:CompletionItemKind.Text,
		},
		{
			label:'rev',
			kind:CompletionItemKind.Text,
		},
		{
			label:'first',
			kind:CompletionItemKind.Text,
		},
		{
			label:'last',
			kind:CompletionItemKind.Text,
		},
		{
			label:'front',
			kind:CompletionItemKind.Text,
		},
		{
			label:'tail',
			kind:CompletionItemKind.Text,
		},
		{
			label:'conc',
			kind:CompletionItemKind.Text,
		},
		{
			label:'max',
			kind:CompletionItemKind.Text,
		},
		{
			label:'min',
			kind:CompletionItemKind.Text,
		},
		{
			label:'or',
			kind:CompletionItemKind.Text,
		},
		{
			label:'not',
			kind:CompletionItemKind.Text,
		},
		{
			label:'bool',
			kind:CompletionItemKind.Text,
		},
		{
			label:'BOOL',
			kind:CompletionItemKind.Text,
		},
		{
			label:'TRUE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'FALSE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'fnc',
			kind:CompletionItemKind.Text,
		},
		{
			label:'rel',
			kind:CompletionItemKind.Text,
		},
		{
			label:'rec',
			kind:CompletionItemKind.Text,
		},
		{
			label:'struct',
			kind:CompletionItemKind.Text,
		},
		{
			label:'left',
			kind:CompletionItemKind.Text,
		},
		{
			label:'right',
			kind:CompletionItemKind.Text,
		},
		{
			label:'tree',
			kind:CompletionItemKind.Text,
		},
		{
			label:'btree',
			kind:CompletionItemKind.Text,
		},
		{
			label:'top',
			kind:CompletionItemKind.Text,
		},
		{
			label:'postfix',
			kind:CompletionItemKind.Text,
		},
		{
			label:'mirror',
			kind:CompletionItemKind.Text,
		},
		{
			label:'prefix',
			kind:CompletionItemKind.Text,
		},
		{
			label:'infix',
			kind:CompletionItemKind.Text,
		},
		{
			label:'sons',
			kind:CompletionItemKind.Text,
		},
		{
			label:'bin',
			kind:CompletionItemKind.Text,
		},
		{
			label:'son',
			kind:CompletionItemKind.Text,
		},
		{
			label:'arity',
			kind:CompletionItemKind.Text,
		},
		{
			label:'subtree',
			kind:CompletionItemKind.Text,
		},
		{
			label:'rank',
			kind:CompletionItemKind.Text,
		},
		{
			label:'father',
			kind:CompletionItemKind.Text,
		},
		{
			label:'const',
			kind:CompletionItemKind.Text,
		},
		{
			label:'sizet',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_ALLOW_LOCAL_OPERATION_CALLS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_ALLOW_INCOMPLETE_SETUP_CONSTANTS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_CHR',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_CLPFD',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_COMPRESSION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_CSE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_DEFAULT_SETSIZE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_DOUBLE_EVALUATION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_EXPAND_FORALL_UPTO',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_INVARIANT_CHECKING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_KODKOD',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_KODKOD_ONLY_FULL',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_KODKOD_MAX_NR_SOLS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_KODKOD_SYMMETRY',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_KODKOD_SAT_SOLVER',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_MAXINT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_MAX_DISPLAY_SET',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_MAX_INITIALISATIONS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_MAX_OPERATIONS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_MEMO',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_MININT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_OPTIMIZE_AST',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_PGE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_PROOF_INFO',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_RANDOMISE_ENUMERATION_ORDER',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_SMT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_SMT_SUPPORTED_INTERPRETER',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_STATIC_ORDERING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_STATIC_SYMMETRY_DETECTION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_SYMBOLIC',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_SYMMETRY_MODE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_TIME_OUT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_TK_CUSTOM_STATE_VIEW_PADDING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_TK_CUSTOM_STATE_VIEW_STRING_PADDING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_TRACE_INFO',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_TRY_FIND_ABORT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_TYPE_CHECK_DEFINITIONS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SET_PREF_USE_RECORD_CONSTRUCTION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'HEURISTIC_FUNCTION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CUSTOM_GRAPH_EDGES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CUSTOM_GRAPH_NODES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG0',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG2',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG3',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG4',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG5',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG6',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG7',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG8',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_IMG9',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION_DEFAULT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION0',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION2',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION3',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION4',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION5',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION6',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION7',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION8',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_FUNCTION9',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_RIGHT_CLICK',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_CLICK',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_STR_JUSTIFY_LEFT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_STR_JUSTIFY_RIGHT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_STR',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_STR1',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_STR2',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANIMATION_STR3',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CODES_TO_STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'GOAL',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SCOPE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'DO_NOT_ENUMERATE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'FORCE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'LEQ_SYM_BREAK',
			kind:CompletionItemKind.Text,
		},
		{
			label:'REPLACE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_APPEND',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_CONC',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_LENGTH',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_SPLIT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_JOIN',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_CHARS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_CODES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_PADLEFT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_REV',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_TO_INT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_TO_LOWER',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_TO_UPPER',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_IS_ALPHANUMERIC',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_IS_DECIMAL',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_IS_INT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_IS_NUMBER',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_CONTAINS_STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_EQUAL_CASE_INSENSITIVE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'DEC_STRING_TO_INT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_TO_ENUM',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRING_IS_NUMBER',
			kind:CompletionItemKind.Text,
		},
		{
			label:'TYPED_STRING_TO_ENUM',
			kind:CompletionItemKind.Text,
		},
		{
			label:'INT_TO_STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'INT_TO_DEC_STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'INT_TO_HEX_STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'STRINGIFY',
			kind:CompletionItemKind.Text,
		},
		{
			label:'TO_STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'TO_INT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'FORMAT_TO_STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'PRINT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'PRINTF',
			kind:CompletionItemKind.Text,
		},
		{
			label:'FPRINTF',
			kind:CompletionItemKind.Text,
		},
		{
			label:'printf',
			kind:CompletionItemKind.Text,
		},
		{
			label:'vprintf',
			kind:CompletionItemKind.Text,
		},
		{
			label:'fprintf',
			kind:CompletionItemKind.Text,
		},
		{
			label:'observe',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ABS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CDIV',
			kind:CompletionItemKind.Text,
		},
		{
			label:'FDIV',
			kind:CompletionItemKind.Text,
		},
		{
			label:'GCD',
			kind:CompletionItemKind.Text,
		},
		{
			label:'MSB',
			kind:CompletionItemKind.Text,
		},
		{
			label:'COS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SIN',
			kind:CompletionItemKind.Text,
		},
		{
			label:'TAN',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SQRT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'BNOT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'BAND',
			kind:CompletionItemKind.Text,
		},
		{
			label:'BOR',
			kind:CompletionItemKind.Text,
		},
		{
			label:'BXOR',
			kind:CompletionItemKind.Text,
		},
		{
			label:'BLSHIFT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'BRSHIFT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'RANDOM',
			kind:CompletionItemKind.Text,
		},
		{
			label:'NORMAL',
			kind:CompletionItemKind.Text,
		},
		{
			label:'random_element',
			kind:CompletionItemKind.Text,
		},
		{
			label:'random_subset',
			kind:CompletionItemKind.Text,
		},
		{
			label:'random_ordering',
			kind:CompletionItemKind.Text,
		},
		{
			label:'random_permutation',
			kind:CompletionItemKind.Text,
		},
		{
			label:'random_numset',
			kind:CompletionItemKind.Text,
		},
		{
			label:'READ_FILE_AS_STRINGS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'READ_LINE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CHOOSE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'MU',
			kind:CompletionItemKind.Text,
		},
		{
			label:'REGEX_MATCH',
			kind:CompletionItemKind.Text,
		},
		{
			label:'REGEX_REPLACE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'REGEX_SEARCH_STR',
			kind:CompletionItemKind.Text,
		},
		{
			label:'REGEX_SEARCH',
			kind:CompletionItemKind.Text,
		},
		{
			label:'REGEX_SEARCH_ALL',
			kind:CompletionItemKind.Text,
		},
		{
			label:'IS_REGEX',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SORT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SQUASH',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SUB_STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'HASH',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SHA_HASH',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SHA_HASH_HEX',
			kind:CompletionItemKind.Text,
		},
		{
			label:'READ_CSV',
			kind:CompletionItemKind.Text,
		},
		{
			label:'READ_CSV_SEQUENCE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'READ_XML',
			kind:CompletionItemKind.Text,
		},
		{
			label:'READ_XML_FROM_STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'WRITE_XML',
			kind:CompletionItemKind.Text,
		},
		{
			label:'WRITE_XML_TO_STRING',
			kind:CompletionItemKind.Text,
		},
		{
			label:'MACHINE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'MODEL',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SYSTEM',
			kind:CompletionItemKind.Text,
		},
		{
			label:'REFINEMENT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'IMPLEMENTATION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'REFINES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'USES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'INCLUDES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SEES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'IMPORTS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'EXTENDS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'PROMOTES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SETS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'INITIALISATION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'OPERATIONS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'LOCAL_OPERATIONS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'EVENTS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'THEOREMS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'INVARIANT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'VARIANT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'DEFINITIONS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ASSERTIONS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ASSERT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ABSTRACT_VARIABLES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CONCRETE_VARIABLES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CONSTANTS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CONSTRAINTS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ABSTRACT_CONSTANTS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CONCRETE_CONSTANTS',
			kind:CompletionItemKind.Text,
		},
		{
			label:'PROPERTIES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'VALUES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SELECT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'THEN',
			kind:CompletionItemKind.Text,
		},
		{
			label:'END',
			kind:CompletionItemKind.Text,
		},
		{
			label:'IF',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ANY',
			kind:CompletionItemKind.Text,
		},
		{
			label:'WHERE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'WHEN',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ELSE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ELSIF',
			kind:CompletionItemKind.Text,
		},
		{
			label:'PRE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'BEGIN',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CHOICE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'WHILE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'DO',
			kind:CompletionItemKind.Text,
		},
		{
			label:'VAR',
			kind:CompletionItemKind.Text,
		},
		{
			label:'EITHER',
			kind:CompletionItemKind.Text,
		},
		{
			label:'OR',
			kind:CompletionItemKind.Text,
		},
		{
			label:'LET',
			kind:CompletionItemKind.Text,
		},
		{
			label:'BE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'IN',
			kind:CompletionItemKind.Text,
		},
		{
			label:'CASE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'OF',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ref',
			kind:CompletionItemKind.Text,
		},
		{
			label:'RULES_MACHINE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'RULE_ANY',
			kind:CompletionItemKind.Text,
		},
		{
			label:'RULE_FORALL',
			kind:CompletionItemKind.Text,
		},
		{
			label:'RULEID',
			kind:CompletionItemKind.Text,
		},
		{
			label:'RULE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'COMPUTATION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'DEPENDS_ON_COMPUTATION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'DEPENDS_ON_RULE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'COUNTEREXAMPLE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'EXPECT',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ERROR_TYPE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'ERROR_TYPES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'BODY',
			kind:CompletionItemKind.Text,
		},
		{
			label:'REFERENCES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'SUCCEEDED_RULE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'FAILED_RULE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'GET_RULE_COUNTEREXAMPLES',
			kind:CompletionItemKind.Text,
		},
		{
			label:'FUNCTION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'PRECONDITION',
			kind:CompletionItemKind.Text,
		},
		{
			label:'DEFINE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'TYPE',
			kind:CompletionItemKind.Text,
		},
		{
			label:'VALUE',
			kind:CompletionItemKind.Text,
		},
		
	]
}

function completionCommonAbstract() : CompletionItem[] {
	return [
		{
			label: 'VARIABLES',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'CONSTANTS',
			kind: CompletionItemKind.Text,
		}
	]
}



function completionEventB() : CompletionItem[] {
		
	return [
		{
			label: 'CONTEXT',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'EXTENDS',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'SETS',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'CONSTANTS',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'AXIOMS',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'END',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'MACHINE',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'REFINES',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'SEES',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'VARIABLES',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'where',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'any',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'with',
			kind: CompletionItemKind.Text,
		},
		{
			label: 'then',
			kind: CompletionItemKind.Text,
		}
	]
}