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