mooncakes.io

bench
→
cmd
→
examples
→
integration
→
loader
→
native
→
pattern
→
resolve
→
syntax
→
README
U
Argument
U
Config
U
ConfigItem
U
Diagnostic
U
Directive
U
DirectiveSpec
U
FileSystem
U
FileSystemError
U
HostBlock
U
LoadDiagnostic
U
LoadError
U
LoadFailure
U
LoadFailureKind
U
LoadOptions
U
LoadedConfig
U
MatchBlock
U
MatchContext
U
MatchPredicate
U
MemoryFileSystem
U
MergeKind
U
MissingIncludePolicy
U
ParseError
U
ParseResult
U
PatternDecision
U
PatternError
U
PatternList
U
ResolveContext
U
ResolveError
U
ResolveOutcome
U
ResolvedConfig
U
ResolvedValue
U
SourceFile
U
SourceLocation
U
SourceSpan
U
TraceDecision
U
TraceEvent
U
ValueKind
V
compile_pattern_list
V
host_matches
V
load
V
parse
V
parse_match_predicate
V
parse_match_predicates
V
parse_recovering
V
patterns_match
V
resolve
V
resolve_explained
V
resolve_strict

README

jingmo653/sshconfig-resolve/pattern does not have a README file

#
PatternError

pub(all) suberror PatternError {
  EmptyPatternList
  EmptyPattern(index~ : Int)
  PatternTooLong(length~ : Int, limit~ : Int)
  TooManyPatterns(count~ : Int, limit~ : Int)
  MissingMatchArgument(condition~ : String)
  InvalidAllCondition
  UnsupportedMatchCondition(name~ : String)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Structured failures produced while compiling a bounded pattern-list.

#
CompiledPattern

source

type CompiledPattern derive(Eq, @moonbitlang/core/debug.Debug
Debug)

#
MatchContext

source

pub(all) struct MatchContext {
  host : String
  original_host : String
  remote_user : String?
  local_user : String?
  tags : Array[String]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

The context required to evaluate OpenSSH Match conditions without a dependency on the resolver's own context type.

#
MatchContext::new

source

fn MatchContext::new(host : String, original_host? : String, remote_user? : String, local_user? : String, tags? : Array[String]) -> MatchContext

Construct a Match context. original_host defaults to host because the common non-canonicalized path preserves the original user input.

#
MatchPredicate

source

pub(all) enum MatchPredicate {
  All
  Not(MatchPredicate)
  Host(PatternList)
  OriginalHost(PatternList)
  User(PatternList)
  LocalUser(PatternList)
  Tagged(PatternList)
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

P0 Match predicates. Unsupported OpenSSH conditions are rejected by the parser instead of being represented here, so this enum is always safe to evaluate without shelling out or canonicalizing a hostname.

#
MatchPredicate::decide

source

fn MatchPredicate::decide(self : MatchPredicate, context : MatchContext) -> PatternDecision

Evaluate a Match predicate. Tagged succeeds if any tag matches its pattern-list; it does not require every tag to match.

#
MatchPredicate::matches

source

fn MatchPredicate::matches(self : MatchPredicate, context : MatchContext) -> Bool

Evaluate a Match predicate without recording explain information.

#
PatternDecision

source

pub(all) struct PatternDecision {
  matched : Bool
  positive_index : Int?
  negative_index : Int?
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

Explainable result of evaluating a pattern-list. Indices refer to the original input array, are zero-based, and remain populated even when a negative item excludes a matching positive item.

#
PatternList

source

pub struct PatternList {
  patterns : Array[CompiledPattern]
} derive(Eq, @moonbitlang/core/debug.Debug
Debug)

A checked OpenSSH pattern-list. Construct it with compile_pattern_list before using it in a resolver or Match condition.

#
PatternList::decide

source

fn PatternList::decide(self : PatternList, value : String) -> PatternDecision

Evaluate a checked list against a value. A matching negative pattern has precedence regardless of where it appears in the list.

#
PatternList::matches

source

fn PatternList::matches(self : PatternList, value : String) -> Bool

Evaluate a checked list without recording explain information.

#
compile_pattern_list

source

fn compile_pattern_list(patterns : Array[String]) -> PatternList raise PatternError

Compile a pattern-list using the P0 resource limits.

#
compile_pattern_list_with_limits

source

fn compile_pattern_list_with_limits(patterns : Array[String], pattern_length_limit? : Int, pattern_count_limit? : Int) -> PatternList raise PatternError

Compile a pattern-list with caller-supplied limits. This is useful for fuzzing and for embedders which need tighter request budgets.

#
default_match_value_length_limit

source

let default_match_value_length_limit : Int

Maximum accepted host or Match-context value length.

#
default_pattern_length_limit

source

let default_pattern_length_limit : Int

Maximum accepted pattern length for the bounded public matching APIs.

#
default_pattern_list_limit

source

let default_pattern_list_limit : Int

Maximum number of entries accepted by one compiled pattern-list.

#
host_matches

source

fn host_matches(pattern : String, host : String) -> Bool

Match one case-insensitive OpenSSH host glob containing * and ?.

This P0 matcher folds ASCII only. Inputs exceeding default_pattern_length_limit (or the value limit) are rejected as a non-match so that the compatibility Bool API remains allocation-free and non-throwing.

#
parse_match_predicate

source

fn parse_match_predicate(condition : String, arguments : Array[String]) -> MatchPredicate raise PatternError

Parse one normalized Match condition and its pattern-list arguments. exec, canonical, final, and unknown conditions deliberately produce UnsupportedMatchCondition: P0 never executes a command or guesses an OpenSSH canonicalization phase.

#
parse_match_predicates

source

fn parse_match_predicates(tokens : Array[String]) -> Array[MatchPredicate] raise PatternError

Parse interleaved Match tokens such as ["host", "*.corp", "user", "deploy,admin"]. Every condition other than all consumes its following comma-separated pattern-list token.

#
patterns_match

source

fn patterns_match(patterns : Array[String], host : String) -> Bool

Match an OpenSSH pattern-list. A matching negated item always excludes the host; otherwise at least one positive item must match.

Source Files

Site source Report issue Packages Build queue Skills Statistics

#PatternError

#CompiledPattern

#MatchContext

#MatchContext::new

#MatchPredicate

#MatchPredicate::decide

#MatchPredicate::matches

#PatternDecision

#PatternList

#PatternList::decide

#PatternList::matches

#compile_pattern_list

#compile_pattern_list_with_limits

#default_match_value_length_limit

#default_pattern_length_limit

#default_pattern_list_limit

#host_matches

#parse_match_predicate

#parse_match_predicates

#patterns_match

Source Files

#
PatternError

#
CompiledPattern

#
MatchContext

#
MatchContext::new

#
MatchPredicate

#
MatchPredicate::decide

#
MatchPredicate::matches

#
PatternDecision

#
PatternList

#
PatternList::decide

#
PatternList::matches

#
compile_pattern_list

#
compile_pattern_list_with_limits

#
default_match_value_length_limit

#
default_pattern_length_limit

#
default_pattern_list_limit

#
host_matches

#
parse_match_predicate

#
parse_match_predicates

#
patterns_match