本文整理匯總了Golang中github.com/serulian/compiler/graphs/scopegraph/proto.ScopeInfo.ResolvedTypeRef方法的典型用法代碼示例。如果您正苦於以下問題：Golang ScopeInfo.ResolvedTypeRef方法的具體用法？Golang ScopeInfo.ResolvedTypeRef怎麽用？Golang ScopeInfo.ResolvedTypeRef使用的例子？那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類github.com/serulian/compiler/graphs/scopegraph/proto.ScopeInfo的用法示例。
在下文中一共展示了ScopeInfo.ResolvedTypeRef方法的2個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的Golang代碼示例。
示例1: scopeStructuralNewCloneExpression
// scopeStructuralNewCloneExpression scopes a structural new expression for constructing a new instance
// of a structural type by cloning and modifying an existing one.
func (sb *scopeBuilder) scopeStructuralNewCloneExpression(node compilergraph.GraphNode, childScope *proto.ScopeInfo, context scopeContext) proto.ScopeInfo {
resolvedTypeRef := childScope.ResolvedTypeRef(sb.sg.tdg)
if !resolvedTypeRef.IsRefToStruct() {
sb.decorateWithError(node, "Cannot clone and modify non-structural type %s", resolvedTypeRef)
return newScope().Invalid().GetScope()
}
_, isValid := sb.scopeStructuralNewEntries(node, context)
return newScope().
IsValid(isValid).
Resolving(resolvedTypeRef).
WithLabel(proto.ScopeLabel_STRUCTURAL_UPDATE_EXPR).
GetScope()
}示例2: scopeDeclaredValue
// scopeDeclaredValue scopes a declared value (variable statement, variable member, type field).
func (sb *scopeBuilder) scopeDeclaredValue(node compilergraph.GraphNode, title string, option requiresInitializerOption, exprPredicate compilergraph.Predicate, context scopeContext) proto.ScopeInfo {
var exprScope *proto.ScopeInfo = nil
exprNode, hasExpression := node.TryGetNode(exprPredicate)
if hasExpression {
// Scope the expression.
exprScope = sb.getScope(exprNode, context)
if !exprScope.GetIsValid() {
return newScope().Invalid().GetScope()
}
}
// Load the declared type, if any.
declaredType, hasDeclaredType := sb.getDeclaredVariableType(node)
if !hasDeclaredType {
if exprScope == nil {
panic("Somehow ended up with no declared type and no expr scope")
}
return newScope().Valid().AssignableResolvedTypeOf(exprScope).GetScope()
}
// Compare against the type of the expression.
if hasExpression {
exprType := exprScope.ResolvedTypeRef(sb.sg.tdg)
if serr := exprType.CheckSubTypeOf(declaredType); serr != nil {
sb.decorateWithError(node, "%s '%s' has declared type '%v': %v", title, node.Get(parser.NodeVariableStatementName), declaredType, serr)
return newScope().Invalid().GetScope()
}
} else if option == requiresInitializer {
// Make sure if the type is non-nullable that there is an expression.
if !declaredType.IsNullable() {
sb.decorateWithError(node, "%s '%s' must have explicit initializer as its type '%v' is non-nullable", title, node.Get(parser.NodeVariableStatementName), declaredType)
return newScope().Invalid().Assignable(declaredType).GetScope()
}
}
return newScope().Valid().Assignable(declaredType).GetScope()
}