Skip to content

org.iets3.core.expr.base


Included Languages

  • com.mbeddr.mpsutil.blutil
  • com.mbeddr.mpsutil.editor.querylist
  • com.mbeddr.mpsutil.framecell
  • com.mbeddr.mpsutil.grammarcells
  • com.mbeddr.mpsutil.intentions
  • com.mbeddr.mpsutil.modellisteners
  • com.mbeddr.mpsutil.refactoring
  • de.itemis.mps.editor.celllayout
  • de.slisson.mps.conditionalEditor
  • de.slisson.mps.richtext
  • de.slisson.mps.richtext.customcell
  • jetbrains.mps.baseLanguage
  • jetbrains.mps.baseLanguage.closures
  • jetbrains.mps.baseLanguage.collections
  • jetbrains.mps.baseLanguage.javadoc
  • jetbrains.mps.baseLanguage.lightweightdsl
  • jetbrains.mps.baseLanguage.logging
  • jetbrains.mps.baseLanguage.tuples
  • jetbrains.mps.baseLanguageInternal
  • jetbrains.mps.ide.httpsupport
  • jetbrains.mps.lang.access
  • jetbrains.mps.lang.actions
  • jetbrains.mps.lang.behavior
  • jetbrains.mps.lang.constraints
  • jetbrains.mps.lang.constraints.msg.specification
  • jetbrains.mps.lang.constraints.rules
  • jetbrains.mps.lang.constraints.rules.kinds
  • jetbrains.mps.lang.constraints.rules.skeleton
  • jetbrains.mps.lang.context
  • jetbrains.mps.lang.context.defs
  • jetbrains.mps.lang.core
  • jetbrains.mps.lang.dataFlow
  • jetbrains.mps.lang.descriptor
  • jetbrains.mps.lang.editor
  • jetbrains.mps.lang.editor.tooltips
  • jetbrains.mps.lang.extension
  • jetbrains.mps.lang.findUsages
  • jetbrains.mps.lang.generator
  • jetbrains.mps.lang.generator.generationContext
  • jetbrains.mps.lang.intentions
  • jetbrains.mps.lang.migration
  • jetbrains.mps.lang.migration.util
  • jetbrains.mps.lang.pattern
  • jetbrains.mps.lang.plugin
  • jetbrains.mps.lang.plugin.standalone
  • jetbrains.mps.lang.quotation
  • jetbrains.mps.lang.refactoring
  • jetbrains.mps.lang.resources
  • jetbrains.mps.lang.rulesAndMessages
  • jetbrains.mps.lang.scopes
  • jetbrains.mps.lang.script
  • jetbrains.mps.lang.sharedConcepts
  • jetbrains.mps.lang.smodel
  • jetbrains.mps.lang.smodel.query
  • jetbrains.mps.lang.structure
  • jetbrains.mps.lang.text
  • jetbrains.mps.lang.textGen
  • jetbrains.mps.lang.typesystem

Defined Concepts

AbstractMinMaxExpression (abstract, node url)¶ ⧉

Children

  • values

AltOption (node url)¶ ⧉

Children

  • when

  • then

AlternativesExpression (alt, node url)¶ ⧉

Children

  • alternatives

AlwaysValue (always, node url)¶ ⧉

AndTag (&&, node url)¶ ⧉

AssignmentExpr (:=, node url)¶ ⧉

AttemptType (attempt, node url)¶ ⧉

Children

  • successType

  • errorLiterals

BangOp (!, node url)¶ ⧉

Children

  • optionValue

BinaryArithmeticExpression (abstract, node url)¶ ⧉

BinaryComparisonExpression (abstract, node url)¶ ⧉

BinaryEqualityExpression (abstract, node url)¶ ⧉

BinaryExpression (abstract, node url)¶ ⧉

Children

  • left

  • right

BinaryLogicalExpression (abstract, node url)¶ ⧉

CastExpression (cast, node url)¶ ⧉

Children

  • expr

  • expectedType

CheckTypeConstraintsExpr (check, node url)¶ ⧉

Properties

  • failIfInvalid

Children

  • expr

  • tp

ColonCast (:, node url)¶ ⧉

Children

  • expr

  • type

ConstraintAndErrorNode (node url)¶ ⧉

References

  • expression

  • source

Contract (node url)¶ ⧉

Children

  • items

ContractItem (abstract, node url)¶ ⧉

Properties

  • warning

Children

  • expr

  • err

ConvenientBoolean (node url)¶ ⧉

Children

  • value

ConvenientBooleanValue (abstract, node url)¶ ⧉

ConvenientValueCond (if, node url)¶ ⧉

Children

  • expr

DeRefTarget (deref, node url)¶ ⧉

DefaultValueExpression (default, node url)¶ ⧉

Children

  • type

DivExpression (/, node url)¶ ⧉

DocWordRef (node url)¶ ⧉

References

  • node

DotExpression (node url)¶ ⧉

Children

  • target

EmptyExpression (node url)¶ ⧉

EmptyType (emptytype, node url)¶ ⧉

EmptyValue (empty, node url)¶ ⧉

Children

  • type

EqualsExpression (==, node url)¶ ⧉

ErrorExpression (error, node url)¶ ⧉

Children

  • error

ErrorLiteral (node url)¶ ⧉

ErrorTarget (err, node url)¶ ⧉

ExprInContract (abstract, node url)¶ ⧉

Expression (abstract, node url)¶ ⧉

FailExpr (fail, node url)¶ ⧉

Children

  • message

  • contextExpression

  • type

GenericErrorType (error, node url)¶ ⧉

GreaterEqualsExpression (>=, node url)¶ ⧉

GreaterExpression (>, node url)¶ ⧉

HasValueOp (hasValue, node url)¶ ⧉

IAllowDeletionOfDot (abstract, node url)¶ ⧉

IAllowDotOnLeft (abstract, node url)¶ ⧉

IAllowsDocInChildExpressions (abstract, node url)¶ ⧉

IAssertConstraints (abstract, node url)¶ ⧉

IAttemptType (abstract, node url)¶ ⧉

IBigExpression (abstract, node url)¶ ⧉

IBlockLike (abstract, node url)¶ ⧉

ICanBeLValue (abstract, node url)¶ ⧉

ICollectionType (abstract, node url)¶ ⧉

IComplexTypeSupportsEquals (abstract, node url)¶ ⧉

IContainmentStackMember (abstract, node url)¶ ⧉

IContextAssistantTypeProvider (abstract, node url)¶ ⧉

IContextTypeProvider (abstract, node url)¶ ⧉

IContextTypedOp (abstract, node url)¶ ⧉

IContracted (abstract, node url)¶ ⧉

Children

  • contract

IControlAdvancedFeatures_old (abstract, node url)¶ ⧉

IDeclarativelyInterpretable (abstract, node url)¶ ⧉

IDocumentableWordContainer (abstract, node url)¶ ⧉

IDocumentableWordProvider (abstract, node url)¶ ⧉

IDotTarget (abstract, node url)¶ ⧉

IEmptyLiteral (abstract, node url)¶ ⧉

Marker interface used to mark literals that at runtime evaluate to empty value.

IHasBaseType (abstract, node url)¶ ⧉

IIgnoreTrivialErrorsContext (abstract, node url)¶ ⧉

IIsSingleSymbol (abstract, node url)¶ ⧉

IJoinTypeContext (abstract, node url)¶ ⧉

ILiteral (abstract, node url)¶ ⧉

IMainSlot (abstract, node url)¶ ⧉

IMayAllowEffect (abstract, node url)¶ ⧉

IMayHaveEffect (abstract, node url)¶ ⧉

IMayReadMutableState (abstract, node url)¶ ⧉

IMultiTraceRoot (abstract, node url)¶ ⧉

INameQualifier (abstract, node url)¶ ⧉

INeverAllowDot (abstract, node url)¶ ⧉

IOptionDerefContext (abstract, node url)¶ ⧉

IOptionallyTyped (abstract, node url)¶ ⧉

Children

  • type

IParameterizedTypeSupportsEquals (abstract, node url)¶ ⧉

IProgramLocationProvider (abstract, node url)¶ ⧉

IProvidePathConstraints (abstract, node url)¶ ⧉

IReducableExpression (abstract, node url)¶ ⧉

IRef (abstract, node url)¶ ⧉

IReferenceableType (abstract, node url)¶ ⧉

IRunningInterpreterContext (abstract, node url)¶ ⧉

ISSConstrainedValue (abstract, node url)¶ ⧉

ISSConstrainedValueRef (abstract, node url)¶ ⧉

ISSDelegatingType (abstract, node url)¶ ⧉

ISSItValueRef (abstract, node url)¶ ⧉

IScopeFilterer (abstract, node url)¶ ⧉

ISingleSymbolRef (abstract, node url)¶ ⧉

IStructuredSyntax (abstract, node url)¶ ⧉

ITargetThatCanDealWithNix (abstract, node url)¶ ⧉

ITraceRoot (abstract, node url)¶ ⧉

ITypeFromMultiple (abstract, node url)¶ ⧉

ITypeOverridingContext (abstract, node url)¶ ⧉

ITypeSupportsDefaultValue (abstract, node url)¶ ⧉

ITypeSupportsProposals (abstract, node url)¶ ⧉

ITypeable (abstract, node url)¶ ⧉

Nodes that have a defined type but not necessarily specified explicitly in a child

ITyped (abstract, node url)¶ ⧉

Children

  • type:

type is actually required, but is 0..1 here to improve editor usability

IValidOtherwiseContainer (abstract, node url)¶ ⧉

IVoidContext (abstract, node url)¶ ⧉

IWantNewLine (abstract, node url)¶ ⧉

IfElseSection (else, node url)¶ ⧉

Children

  • expr

IfExpression (if, node url)¶ ⧉

Children

  • condition

  • thenPart

  • elsePart

  • elseSection

ImplicitValidityValExpr (it, node url)¶ ⧉

Children

  • type

InlineMessage (message, node url)¶ ⧉

Children

  • text

Invariant (inv, node url)¶ ⧉

IsSomeExpression (isSome, node url)¶ ⧉

Children

  • expr

JoinType (join, node url)¶ ⧉

Children

  • types

LessEqualsExpression (<=, node url)¶ ⧉

LessExpression (<, node url)¶ ⧉

LogicalAndExpression (&&, node url)¶ ⧉

LogicalIffExpression (<=>, node url)¶ ⧉

LogicalImpliesExpression (=>, node url)¶ ⧉

LogicalNotExpression (!, node url)¶ ⧉

LogicalOrExpression (||, node url)¶ ⧉

MakeRefTarget (ref, node url)¶ ⧉

MaxExpression (max, node url)¶ ⧉

MessageValueType (message, node url)¶ ⧉

MinExpression (min, node url)¶ ⧉

MinusExpression (-, node url)¶ ⧉

ModExpression (mod, node url)¶ ⧉

MulExpression (*, node url)¶ ⧉

MulTag (*, node url)¶ ⧉

NeverValue (never, node url)¶ ⧉

NonStrictEqualsExpression (===, node url)¶ ⧉

NoneLiteral (none, node url)¶ ⧉

Children

  • optionalBaseType

NoneType (none, node url)¶ ⧉

NotEqualsExpression (!=, node url)¶ ⧉

OkTarget (ok, node url)¶ ⧉

OneOfTarget (oneOf, node url)¶ ⧉

Children

  • values

OperatorGroup (join, node url)¶ ⧉

Children

  • expressions

  • tag

OperatorTag (abstract, node url)¶ ⧉

OptionOrExpression (?:, node url)¶ ⧉

OptionType (opt, node url)¶ ⧉

Children

  • baseType

OrTag (||, node url)¶ ⧉

ParensExpression ((, node url)¶ ⧉

Children

  • expr

PlainConstraint (node url)¶ ⧉

PlusExpression (+, node url)¶ ⧉

PlusTag (+, node url)¶ ⧉

Postcondition (post, node url)¶ ⧉

PragmaDisableCaching (§disable-caching-globally, node url)¶ ⧉

PragmaExpression (abstract, node url)¶ ⧉

Children

  • expr

Precondition (pre, node url)¶ ⧉

PrimitiveLiteral (abstract, node url)¶ ⧉

PrimitiveType (abstract, node url)¶ ⧉

ProgramLocationOp (abstract, node url)¶ ⧉

ProgramLocationType (loc, node url)¶ ⧉

ProgramLocationUrlOp (url, node url)¶ ⧉

RangeTarget (inRange, node url)¶ ⧉

Properties

  • upperExcluding

  • lowerExcluding

Children

  • min

  • max

ReductionInspector (node url)¶ ⧉

Children

  • reduced

ReferenceType (ref, node url)¶ ⧉

Children

  • baseType

Revealer (node url)¶ ⧉

Children

  • condition

RevealerThis (revealed, node url)¶ ⧉

SimpleExpressionValueInspector (node url)¶ ⧉

Properties

  • onlyLast

  • showOnTop

  • showOnConsole

  • optionalLabel

SomeValExpr (node url)¶ ⧉

References

  • someQuery

SpecificErrorType (error[, node url)¶ ⧉

Children

  • error

SuccessExpression (success, node url)¶ ⧉

Children

  • expr

SuccessType (success, node url)¶ ⧉

Children

  • baseType

SuccessValueExpr (node url)¶ ⧉

References

  • try

ThisExpression (this, node url)¶ ⧉

TracerExpression (node url)¶ ⧉

Properties

  • traceLabel

Children

  • traced

References

  • target

TryErrorClause (error, node url)¶ ⧉

Children

  • expr

  • errorLiteral

TryExpression (try, node url)¶ ⧉

Properties

  • complete

Children

  • expr

  • successClause

  • errorClauses

TrySuccessClause (=>, node url)¶ ⧉

Children

  • expr

TupleAccessExpr (node url)¶ ⧉

Properties

  • index

Children

  • tuple

TupleType ([, node url)¶ ⧉

Children

  • elementTypes

TupleValue ([, node url)¶ ⧉

Children

  • values

Type (abstract, node url)¶ ⧉

UnaryExpression (abstract, node url)¶ ⧉

Children

  • expr

UnaryMinusExpression (-, node url)¶ ⧉

ValidityType (validity, node url)¶ ⧉

VoidType (void, node url)¶ ⧉

Comments