package router // download from https://raw.githubusercontent.com/grpc-ecosystem/grpc-gateway/master/runtime/pattern.go import ( "errors" "fmt" "strings" "github.com/micro/go-micro/v3/logger" ) var ( // ErrNotMatch indicates that the given HTTP request path does not match to the pattern. ErrNotMatch = errors.New("not match to the path pattern") // ErrInvalidPattern indicates that the given definition of Pattern is not valid. ErrInvalidPattern = errors.New("invalid pattern") ) type rop struct { code OpCode operand int } // Pattern is a template pattern of http request paths defined in github.com/googleapis/googleapis/google/api/http.proto. type Pattern struct { // ops is a list of operations ops []rop // pool is a constant pool indexed by the operands or vars. pool []string // vars is a list of variables names to be bound by this pattern vars []string // stacksize is the max depth of the stack stacksize int // tailLen is the length of the fixed-size segments after a deep wildcard tailLen int // verb is the VERB part of the path pattern. It is empty if the pattern does not have VERB part. verb string // assumeColonVerb indicates whether a path suffix after a final // colon may only be interpreted as a verb. assumeColonVerb bool } type patternOptions struct { assumeColonVerb bool } // PatternOpt is an option for creating Patterns. type PatternOpt func(*patternOptions) // NewPattern returns a new Pattern from the given definition values. // "ops" is a sequence of op codes. "pool" is a constant pool. // "verb" is the verb part of the pattern. It is empty if the pattern does not have the part. // "version" must be 1 for now. // It returns an error if the given definition is invalid. func NewPattern(version int, ops []int, pool []string, verb string, opts ...PatternOpt) (Pattern, error) { options := patternOptions{ assumeColonVerb: true, } for _, o := range opts { o(&options) } if version != 1 { if logger.V(logger.DebugLevel, logger.DefaultLogger) { logger.Debugf("unsupported version: %d", version) } return Pattern{}, ErrInvalidPattern } l := len(ops) if l%2 != 0 { if logger.V(logger.DebugLevel, logger.DefaultLogger) { logger.Debugf("odd number of ops codes: %d", l) } return Pattern{}, ErrInvalidPattern } var ( typedOps []rop stack, maxstack int tailLen int pushMSeen bool vars []string ) for i := 0; i < l; i += 2 { op := rop{code: OpCode(ops[i]), operand: ops[i+1]} switch op.code { case OpNop: continue case OpPush: if pushMSeen { tailLen++ } stack++ case OpPushM: if pushMSeen { if logger.V(logger.DebugLevel, logger.DefaultLogger) { logger.Debug("pushM appears twice") } return Pattern{}, ErrInvalidPattern } pushMSeen = true stack++ case OpLitPush: if op.operand < 0 || len(pool) <= op.operand { if logger.V(logger.DebugLevel, logger.DefaultLogger) { logger.Debugf("negative literal index: %d", op.operand) } return Pattern{}, ErrInvalidPattern } if pushMSeen { tailLen++ } stack++ case OpConcatN: if op.operand <= 0 { if logger.V(logger.DebugLevel, logger.DefaultLogger) { logger.Debugf("negative concat size: %d", op.operand) } return Pattern{}, ErrInvalidPattern } stack -= op.operand if stack < 0 { if logger.V(logger.DebugLevel, logger.DefaultLogger) { logger.Debug("stack underflow") } return Pattern{}, ErrInvalidPattern } stack++ case OpCapture: if op.operand < 0 || len(pool) <= op.operand { if logger.V(logger.DebugLevel, logger.DefaultLogger) { logger.Debugf("variable name index out of bound: %d", op.operand) } return Pattern{}, ErrInvalidPattern } v := pool[op.operand] op.operand = len(vars) vars = append(vars, v) stack-- if stack < 0 { if logger.V(logger.DebugLevel, logger.DefaultLogger) { logger.Debug("stack underflow") } return Pattern{}, ErrInvalidPattern } default: if logger.V(logger.DebugLevel, logger.DefaultLogger) { logger.Debugf("invalid opcode: %d", op.code) } return Pattern{}, ErrInvalidPattern } if maxstack < stack { maxstack = stack } typedOps = append(typedOps, op) } return Pattern{ ops: typedOps, pool: pool, vars: vars, stacksize: maxstack, tailLen: tailLen, verb: verb, assumeColonVerb: options.assumeColonVerb, }, nil } // MustPattern is a helper function which makes it easier to call NewPattern in variable initialization. func MustPattern(p Pattern, err error) Pattern { if err != nil { if logger.V(logger.DebugLevel, logger.DefaultLogger) { logger.Fatalf("Pattern initialization failed: %v", err) } } return p } // Match examines components if it matches to the Pattern. // If it matches, the function returns a mapping from field paths to their captured values. // If otherwise, the function returns an error. func (p Pattern) Match(components []string, verb string) (map[string]string, error) { if p.verb != verb { if p.assumeColonVerb || p.verb != "" { return nil, ErrNotMatch } if len(components) == 0 { components = []string{":" + verb} } else { components = append([]string{}, components...) components[len(components)-1] += ":" + verb } verb = "" } var pos int stack := make([]string, 0, p.stacksize) captured := make([]string, len(p.vars)) l := len(components) for _, op := range p.ops { switch op.code { case OpNop: continue case OpPush, OpLitPush: if pos >= l { return nil, ErrNotMatch } c := components[pos] if op.code == OpLitPush { if lit := p.pool[op.operand]; c != lit { return nil, ErrNotMatch } } stack = append(stack, c) pos++ case OpPushM: end := len(components) if end < pos+p.tailLen { return nil, ErrNotMatch } end -= p.tailLen stack = append(stack, strings.Join(components[pos:end], "/")) pos = end case OpConcatN: n := op.operand l := len(stack) - n stack = append(stack[:l], strings.Join(stack[l:], "/")) case OpCapture: n := len(stack) - 1 captured[op.operand] = stack[n] stack = stack[:n] } } if pos < l { return nil, ErrNotMatch } bindings := make(map[string]string) for i, val := range captured { bindings[p.vars[i]] = val } return bindings, nil } // Verb returns the verb part of the Pattern. func (p Pattern) Verb() string { return p.verb } func (p Pattern) String() string { var stack []string for _, op := range p.ops { switch op.code { case OpNop: continue case OpPush: stack = append(stack, "*") case OpLitPush: stack = append(stack, p.pool[op.operand]) case OpPushM: stack = append(stack, "**") case OpConcatN: n := op.operand l := len(stack) - n stack = append(stack[:l], strings.Join(stack[l:], "/")) case OpCapture: n := len(stack) - 1 stack[n] = fmt.Sprintf("{%s=%s}", p.vars[op.operand], stack[n]) } } segs := strings.Join(stack, "/") if p.verb != "" { return fmt.Sprintf("/%s:%s", segs, p.verb) } return "/" + segs } // AssumeColonVerbOpt indicates whether a path suffix after a final // colon may only be interpreted as a verb. func AssumeColonVerbOpt(val bool) PatternOpt { return PatternOpt(func(o *patternOptions) { o.assumeColonVerb = val }) }